Preprints
- The Many-Worlds Calculus, with Marc de Visme,
Benoît Valiron, Renaud Vilmart : pdf
- Semantics for a Turing-complete Reversible
Programming Language with Inductive Types, with
Louis Lemonnier, Benoît Valiron : pdf
2023
- A Curry-Howard Correspondence for Linear,
Reversible Computation, CSL, with Alexis Saurin, Benoît
Valiron at CSL : pdf
2021
- Categorical Semantics of Reversible
Pattern-Matching, with Louis Lemonnier, Benoît
Valiron at MFPS : pdf
- Geometry of Interaction for ZX-Diagrams, with
Benoît Valiron, Renaud Vilmart at MFCS : pdf
2020
- Towards A Curry-Howard Correspondence for Linear,
Reversible Computation (Works In Progress), with Alexis Saurin, Benoît
Valiron at RC.