Homotopy Type Theory
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history
<
homotopy type theory - references
category:
redirected to nlab