Homotopy Type Theory
Eilenberg-MacLane Spaces in Homotopy Type Theory (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Eilenberg-MacLane Spaces in Homotopy Type Theory. Dan Licata and Eric Finster, LICS 2014

http://dlicata.web.wesleyan.edu/pubs/lf14em/lf14em.pdf

and code

Revision on October 10, 2018 at 12:10:48 by Ali Caglayan. See the history of this page for a list of all contributions to it.