angiuli-2018-cartesian:
  type: article
  title: 'Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities'
  author:
  - Angiuli, Carlo
  - Hou (Favonia), Kuen-Bang
  - Harper, Robert
  date: 2018
  page-range: 6:1-6:17
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.6
  serial-number:
    doi: 10.4230/LIPICS.CSL.2018.6
  parent:
    type: proceedings
    title: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 119