Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. - Louis Lemonnier; John van de Wetering; Aleks Kissinger (QPL, 2020)

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

Central Submonads and Notions of Computation. - Titouan Carette; Louis Lemonnier; Vladimir Zamdzhiev (CoRR, 2022)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. - Titouan Carette; Louis Lemonnier; Vladimir Zamdzhiev (LICS, 2023)

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

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion. - Louis Lemonnier (CoRR, 2024)

Non-Cartesian Guarded Recursion with Daggers. - Louis Lemonnier (CoRR, 2024)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion. (De la sémantique des effets: centralité, contrôle quantique et récursivité réversible). - Louis Lemonnier (2024)

Combining quantum and classical control: syntax, semantics and adequacy. - Kinnari Dave; Louis Lemonnier; Romain Péchoux; Vladimir Zamdzhiev (FoSSaCS, 2025)

Quantum circuits are just a phase. - Chris Heunen; Louis Lemonnier; Christopher McNally; Alex Rice (CoRR, 2025)