Louis Lemonnier

Publications

Communication dans un congrès (5)

Combining quantum and classical control: syntax, semantics and adequacy Kinnari Dave,Louis Lemonnier,Romain Péchoux,Vladimir Zamdzhiev FoSSaCS 2025 - 28th International Conference on Foundations of Software Science and Computation Structures, May 2025, Hamilton, Canada. pp.155-175, ⟨10.1007/978-3-031-90897-2_8⟩ Communication dans un congrès hal-05093249v1
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types Kostia Chardonnet,Louis Lemonnier,Benoît Valiron FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩ Communication dans un congrès hal-04636603v1
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages Titouan Carette,Louis Lemonnier,Vladimir Zamdzhiev 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston (MA), United States. ⟨10.1109/LICS56636.2023.10175687⟩ Communication dans un congrès hal-03662565v4
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus Louis Lemonnier,John van de Wetering,Aleks Kissinger 17th International Conference on Quantum Physics and Logic, Jun 2020, Paris, France. pp.188-212, ⟨10.4204/EPTCS.340.10⟩ Communication dans un congrès hal-04572403v1
Categorical Semantics of Reversible Pattern-Matching Benoît Valiron,Kostia Chardonnet,Louis Lemonnier Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩ Communication dans un congrès hal-03553872v1

Pré-publication, Document de travail (1)

A programming language combining quantum and classical control Kinnari Dave,Louis Lemonnier,Romain Péchoux,Vladimir Zamdzhiev 2026 Pré-publication, Document de travail hal-05457001v1

Thèse (1)

The Semantics of Effects : Centrality, Quantum Control and Reversible Recursion Louis Lemonnier Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2024. English. ⟨NNT : 2024UPASG030⟩ Thèse tel-04625771v1