sterling-2019-cubical:
  type: article
  title: Cubical Syntax for Reflection-Free Extensional Equality
  author:
  - Sterling, Jonathan
  - Angiuli, Carlo
  - Gratzer, Daniel
  date: 2019
  page-range: 31:1-31:25
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2019.31
  serial-number:
    doi: 10.4230/LIPICS.FSCD.2019.31
  parent:
    type: proceedings
    title: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 131