Homotopy Type Theory Synthetic Cohomology in Homotopy Type Theory > history

< homotopy type theory - references