Homotopy Type Theory
Calculating the fundamental group of the circle in homotopy type theory

Links

Calculating the fundamental group of the circle in homotopy type theory. Dan Licata and Michael Shulman, LICS 2013,

http://www.cs.cmu.edu/~drl/pubs.html

arXiv:1301.3443

category: reference

Last revised on October 14, 2018 at 12:59:53. See the history of this page for a list of all contributions to it.