@misc{indiciae7560e9469ff1,
  title = {Guarded Cubical Type Theory: Path Equality for Guarded Recursion},
  author = {Lars Birkedal and Aleš Bizjak and Ranald Clouston and Hans Bugge Grathwohl and Bas Spitters and Andrea Vezzosi},
  year = {2016},
  url = {https://arxiv.org/abs/1606.05223},
  note = {Source identifier: 1606.05223}
}