@misc{indiciaeff2f42611d61,
  title = {The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types},
  author = {Ranald Clouston and Aleš Bizjak and Hans Bugge Grathwohl and Lars Birkedal},
  year = {2016},
  doi = {10.2168/lmcs-12(3:7)2016},
  url = {https://arxiv.org/abs/1606.09455},
  note = {Source identifier: 1606.09455}
}