Louis Lemonnier

Orcid: 0000-0003-1761-3244

According to our database1, Louis Lemonnier authored at least 8 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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).
PhD thesis, 2024

Non-Cartesian Guarded Recursion with Daggers.
CoRR, 2024

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

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.
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.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022
Central Submonads and Notions of Computation.
CoRR, 2022

2021
Categorical Semantics of Reversible Pattern-Matching.
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.
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020


  Loading...