#
Homotopy Type Theory

On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory

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

## Links

## See also

Last revised on February 14, 2019 at 03:31:10.
See the history of this page for a list of all contributions to it.