Showing changes from revision #4 to #5:
Added | Removed | Changed
Modalities in homotopy type theory, Egbert Rijke, Michael Shulman?, Bas Spitters arXiv
Localization in Homotopy Type Theory, J. Daniel Christensen, Morgan Opie, Egbert Rijke, Luis Scoccola arXiv
Revision on October 10, 2018 at 22:30:00 by Ali Caglayan. See the history of this page for a list of all contributions to it.