## Daniel R. Licata, Michael Shulman

*Calculating the Fundamental Group of the Circle in Homotopy Type Theory*

LICS, 2013.

@inproceedings{LICS-2013-LicataS, acmid = "2591407", author = "Daniel R. Licata and Michael Shulman", booktitle = "{Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2013.28", isbn = "978-1-4799-0413-6", pages = "223--232", publisher = "{IEEE Computer Society}", title = "{Calculating the Fundamental Group of the Circle in Homotopy Type Theory}", year = 2013, }