Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.

Kostia Chardonnet, Alexis Saurin, Benot Valiron

Browse the full RC paper archive.