@misc{indiciae8cc22e089e83,
  title = {Computational Higher Type Theory III: Univalent Universes and Exact Equality},
  author = {Carlo Angiuli and Kuen-Bang Hou and Robert Harper},
  year = {2017},
  url = {https://arxiv.org/abs/1712.01800},
  note = {Source identifier: 1712.01800}
}