@misc{indiciae7171c3b774ac,
  title = {Guarded Computational Type Theory},
  author = {Jonathan Sterling and Robert Harper},
  year = {2018},
  doi = {10.1145/3209108.3209153},
  url = {https://arxiv.org/abs/1804.09098},
  note = {Source identifier: 1804.09098}
}