Login / Signup
Rémi Di Guardia
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Cut Elimination
Linear Logic
Proof Theoretic
Top Venues
CoRR
FSCD
</>
Publications
</>
Rémi Di Guardia
,
Olivier Laurent
Type Isomorphisms for Multiplicative-Additive Linear Logic.
CoRR
(2024)
Rémi Di Guardia
,
Olivier Laurent
Type Isomorphisms for Multiplicative-Additive Linear Logic.
FSCD
(2023)