Showing changes from revision #3 to #4:
Added | Removed | Changed
SeeLocalization in Homotopy Type theory
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
See Localization in Homotopy Type theory
Revision on October 10, 2018 at 11:38:55 by Ali Caglayan. See the history of this page for a list of all contributions to it.