@misc{indiciae4e6d0a360eaa,
  title = {Guarded Cubical Type Theory},
  author = {Lars Birkedal and Aleš Bizjak and Ranald Clouston and Hans Bugge Grathwohl and Bas Spitters and Andrea Vezzosi},
  year = {2017},
  url = {https://arxiv.org/abs/1611.09263},
  note = {Source identifier: 1611.09263}
}