Preprints
- The Many-Worlds Calculus, with Marc de Visme,
Benoît Valiron, Renaud Vilmart : pdf
2024
- Semantics for a Turing-complete Reversible Programming
Language with Inductive Types, FSCD, 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.