_On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory_, [[Floris van Doorn]], Ph.D. Thesis 2018 ## Links ## * [arXiv:1808.10690](https://arxiv.org/abs/1808.10690) * [hompage link](http://florisvandoorn.com/papers/dissertation.pdf) * [wayback machine link](https://web.archive.org/web/20180824040814/http://florisvandoorn.com/papers/dissertation.pdf) ## See also ## * [[Spectral sequence]] * [[cohomology]] * [[Synthetic homotopy theory]] * [[References]] category: reference