#
Homotopy Type Theory

On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory (Rev #1)

*On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory*, Floris van Doorn, Ph.D. Thesis 2018

## Links

## See also

Revision on October 17, 2018 at 05:34:46 by
Ali Caglayan.
See the history of this page for a list of all contributions to it.