birkedal-2018-guarded:
  type: article
  title: Guarded Cubical Type Theory
  author:
  - Birkedal, Lars
  - Bizjak, Aleš
  - Clouston, Ranald
  - Grathwohl, Hans Bugge
  - Spitters, Bas
  - Vezzosi, Andrea
  date: 2018-06
  page-range: 211-253
  serial-number:
    doi: 10.1007/s10817-018-9471-7
  parent:
    type: periodical
    title: Journal of Automated Reasoning
    publisher: Springer Science, Business Media LLC
    issue: 2
    volume: 63