@misc{indiciae460aaa990bcf,
  title = {Cubical Syntax for Reflection-Free Extensional Equality},
  author = {Jonathan Sterling and Carlo Angiuli and Daniel Gratzer},
  year = {2019},
  doi = {10.4230/lipics.fscd.2019.31},
  url = {https://arxiv.org/abs/1904.08562},
  note = {Source identifier: 1904.08562}
}