@article{Chardonnet_2025,
   title={A Curry-Howard Correspondence for Linear, Reversible Computation},
   volume={Volume 21, Issue 3},
   ISSN={1860-5974},
   url={http://dx.doi.org/10.46298/lmcs-21(3:4)2025},
   DOI={10.46298/lmcs-21(3:4)2025},
   journal={Logical Methods in Computer Science},
   publisher={Centre pour la Communication Scientifique Directe (CCSD)},
   author={Chardonnet, Kostia and Saurin, Alexis and Valiron, Benoît},
   year={2025},
   month=jul }