Louis Lemonnier
Orcid: 0000-0003-1761-3244
According to our database1,
Louis Lemonnier
authored at least 5 papers
between 2020 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Semantics for a Turing-complete Reversible Programming Language with Inductive Types.
CoRR, 2023
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
LICS, 2023
2022
2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
2020
Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020