_Calculating the fundamental group of the circle in homotopy type theory_. [[Dan Licata]] and [[Michael Shulman]], LICS 2013, ## Links ## [http://www.cs.cmu.edu/~drl/pubs.html](http://www.cs.cmu.edu/~drl/pubs.html) [arXiv:1301.3443](http://arxiv.org/abs/1301.3443) category: reference