TY  - RPRT
TI  - Proof Normalisation in a Logic Identifying Isomorphic Propositions
AU  - Alejandro Díaz-Caro
AU  - Gilles Dowek
PY  - 2019
DO  - 10.4230/lipics.fscd.2019.14
UR  - https://arxiv.org/abs/1501.06125
ID  - 1501.06125
ER  -