angiuli-2021-syntax:
  type: article
  title: Syntax and models of Cartesian cubical type theory
  author:
  - Angiuli, Carlo
  - Brunerie, Guillaume
  - Coquand, Thierry
  - Harper, Robert
  - Hou (Favonia), Kuen-Bang
  - Licata, Daniel R.
  date: 2021-04
  page-range: 424-468
  url: http://dx.doi.org/10.1017/s0960129521000347
  serial-number:
    doi: 10.1017/s0960129521000347
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 4
    volume: 31