Accéder directement au contenu

Louis Lemonnier

2
Documents

Publications

Image document

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

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