Pre-prints

• The Tensor-Plus Calculus. With Marc de Visme, Benoît Valiron, Renaud Vilmart. Paper
• The Geometry of Quantum Compilation. With Ugo Dal Lago, Naohiko Oshino, Paolo Pistone. Paper

2025

• The Many-Worlds Calculus, LMCS. With Marc de Visme, Benoît Valiron, Renaud Vilmart. Paper

2024

• Semantics for a Turing-complete Reversible Programming Language with Inductive Types, FSCD. With Louis Lemonnier, Benoît Valiron. Paper

2023

• A Curry-Howard Correspondence for Linear, Reversible Computation, CSL. With Alexis Saurin, Benoît Valiron. Paper

2021

• Categorical Semantics of Reversible Pattern-Matching, MFPS. With Louis Lemonnier, Benoît Valiron. Paper
• Geometry of Interaction for ZX-Diagrams, MFCS. With Renaud Vilmart, Benoît Valiron. Paper

2020

• Towards A Curry-Howard Correspondence for Linear, Reversible Computation (Works In Progress), RC. With Alexis Saurin, Benoît Valiron. Paper