Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. - Kostia Chardonnet; Alexis Saurin; Benoît Valiron (RC, 2020)

Geometry of Interaction for ZX-Diagrams. - Kostia Chardonnet; Benoît Valiron; Renaud Vilmart (MFCS, 2021)

Categorical Semantics of Reversible Pattern-Matching. - Kostia Chardonnet; Louis Lemonnier; Benoît Valiron (MFPS, 2021)

The Many-Worlds Calculus: Representing Quantum Control. - Kostia Chardonnet; Marc de Visme; Benoît Valiron; Renaud Vilmart (CoRR, 2022)

Towards a Curry-Howard Correspondence for Quantum Computation. (Vers une correspondance de Curry-Howard pour le calcul quantique). - Kostia Chardonnet (2023)

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. - Kostia Chardonnet; Louis Lemonnier; Benoît Valiron (FSCD, 2024)

A Curry-Howard Correspondence for Linear, Reversible Computation. - Kostia Chardonnet; Alexis Saurin; Benoît Valiron (Log. Methods Comput. Sci., 2025)

The Many-Worlds Calculus. - Kostia Chardonnet; Marc de Visme; Benoît Valiron; Renaud Vilmart (Log. Methods Comput. Sci., 2025)