@inproceedings{licata-2013-calculating, title={Calculating the Fundamental Group of the Circle in Homotopy Type Theory}, url={http://dx.doi.org/10.1109/lics.2013.28}, DOI={10.1109/lics.2013.28}, booktitle={2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={IEEE}, author={Licata, Daniel R. and Shulman, Michael}, year={2013}, month=June, pages={223–232} }