On homotopy type theory (synthetic homotopy theory):
Egbert Rijke, Homotopy type theory (2012) (pdf)
Egbert Rijke, Introduction to Homotopy Type Theory (2019) (web, pdf, GitHub)
Egbert Rijke, Classifying Types (arXiv:1906.09435)
Last revised on June 25, 2019 at 04:34:05. See the history of this page for a list of all contributions to it.