Catégorie Communication dans un congrès Auteurs Kostia Chardonnet Alexis Saurin Benoit Valiron https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271484v1 doc ID 3271484 Nom Towards a Curry-Howard Correspondence for Linear, Reversible Computation Date de publication mar 22/07/2025 - 12:00