_Covering Spaces in Homotopy Type Theory_, [[Kuen-Bang Hou (Favonia)]] ## Links ## * [Springer](https://doi.org/10.1007/978-3-319-21284-5_15) * [Favonia's homepage](https://favonia.org/files/cover-types2016.pdf) ## See also ## * [[References]] category: reference