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)
On modal homotopy type theory:
Egbert Rijke, Mike Shulman, Bas Spitters, Modalities in homotopy type theory, Logical Methods in Computer Science, January 8, 2020, Volume 16, Issue 1 (arXiv:1706.07526, episciences:6015)
Felix Cherubini, Egbert Rijke, Modal Descent, (arXiv:2003.09713)
J. Daniel Christensen, Egbert Rijke, Characterizations of modalities and lex modalities (arXiv:2008.03538)
On localization (in algebraic topology) formulated in modal homotopy type theory:
Last revised on August 11, 2020 at 10:47:19. See the history of this page for a list of all contributions to it.