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