Homotopy Type Theory Formalized Homotopy Theory > history

< homotopy theory and algebraic topology -- references