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

See also

category: reference

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