TY  - RPRT
TI  - Exponentially Handsome Proof Nets and Their Normalization
AU  - Matteo Acclavio
PY  - 2021
DO  - 10.4204/eptcs.353.1
UR  - https://arxiv.org/abs/2112.14962
ID  - 2112.14962
ER  -