@misc{indiciae9c19486af998,
  title = {Guarded Dependent Type Theory with Coinductive Types},
  author = {Aleš Bizjak and Hans Bugge Grathwohl and Ranald Clouston and Rasmus E. Møgelberg and Lars Birkedal},
  year = {2016},
  url = {https://arxiv.org/abs/1601.01586},
  note = {Source identifier: 1601.01586}
}