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

*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.