Louis Lemonnier

According to our database, Louis Lemonnier authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Non-Cartesian Guarded Recursion with Daggers.

Louis Lemonnier

CoRR, 2024

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion.

Louis Lemonnier

CoRR, 2024

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Central Submonads and Notions of Computation.

Titouan Carette, Louis Lemonnier, Vladimir Zamdzhiev

CoRR, 2022

2021

Categorical Semantics of Reversible Pattern-Matching.

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.

Louis Lemonnier, John van de Wetering, Aleks Kissinger

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020