Homotopy Type Theory On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history

< homotopy type theory - references