licata-2013-calculating:
  type: article
  title: Calculating the Fundamental Group of the Circle in Homotopy Type Theory
  author:
  - Licata, Daniel R.
  - Shulman, Michael
  date: 2013-06
  page-range: 223-232
  serial-number:
    doi: 10.1109/lics.2013.28
  parent:
    type: proceedings
    title: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
    publisher: IEEE