C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Louis Lemonnier
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Provably Correct
Internal States
Semantic Data Models
Denotational Semantics
Top Venues
CoRR
LICS
QPL
MFPS
</>
Publications
</>
Kostia Chardonnet
,
Louis Lemonnier
,
Benoît Valiron
Semantics for a Turing-complete Reversible Programming Language with Inductive Types.
CoRR
(2023)
Titouan Carette
,
Louis Lemonnier
,
Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
LICS
(2023)
Titouan Carette
,
Louis Lemonnier
,
Vladimir Zamdzhiev
Central Submonads and Notions of Computation.
CoRR
(2022)
Louis Lemonnier
,
Kostia Chardonnet
,
Benoît Valiron
Categorical Semantics of Reversible Pattern-Matching.
MFPS
(2021)
Louis Lemonnier
,
John van de Wetering
,
Aleks Kissinger
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.
QPL
(2020)