Louis Lemonnier

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Semantic Data Models

Database Languages

Denotational Semantics

Top Venues

Publications

Louis Lemonnier
The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion. CoRR (2024)
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD (2024)
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-complete Reversible Programming Language with Inductive Types. CoRR (2023)
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages. LICS (2023)
Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev
Central Submonads and Notions of Computation. CoRR (2022)
Louis Lemonnier, Kostia Chardonnet, Benoît Valiron
Categorical Semantics of Reversible Pattern-Matching. MFPS (2021)
Louis Lemonnier, John van de Wetering, Aleks Kissinger
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL (2020)