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