TY  - RPRT
TI  - A Curry-Howard Correspondence for Linear, Reversible Computation
AU  - Kostia Chardonnet
AU  - Alexis Saurin
AU  - Benoît Valiron
PY  - 2025
DO  - 10.46298/lmcs-21(3:4)2025
UR  - https://arxiv.org/abs/2302.11887
ID  - 2302.11887
ER  -