@misc{indiciae8e9f523f5d70,
  title = {Proof Normalisation in a Logic Identifying Isomorphic Propositions},
  author = {Alejandro Díaz-Caro and Gilles Dowek},
  year = {2019},
  doi = {10.4230/lipics.fscd.2019.14},
  url = {https://arxiv.org/abs/1501.06125},
  note = {Source identifier: 1501.06125}
}