A Curry-Howard Correspondence for Linear, Reversible Computation - Chardonnet, Kostia; Saurin, Alexis; Valiron, Benoît; Kostia Chardonnet and Alexis Saurin and Benoît Valiron (Logical Methods in Computer Science, 2025)