Catégorie Communication dans un congrès Auteurs Kostia Chardonnet Alexis Saurin Benoit Valiron https://hal.science/hal-03103455v1 doc ID 3103455 Nom Toward a Curry-Howard Equivalence for Linear, Reversible Computation Date de publication mar 22/07/2025 - 12:00