Louis Lemonnier
4
Documents
Publications
Publications
|
|
A programming language combining quantum and classical control2026
Pré-publication, Document de travail
hal-05457001
v1
|
|
|
Semantics for a Turing-Complete Reversible Programming Language with Inductive TypesFSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩
Communication dans un congrès
hal-04636603
v1
|
|
|
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages2023 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-03662565
v4
|
|
|
Categorical Semantics of Reversible Pattern-MatchingProceedings 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-03553872
v1
|
Chargement...
Chargement...