TY  - RPRT
TI  - Type Isomorphisms for Multiplicative-Additive Linear Logic
AU  - Rémi Di Guardia
AU  - Olivier Laurent
PY  - 2025
DO  - 10.46298/lmcs-21(4:24)2025
UR  - https://arxiv.org/abs/2402.11987
ID  - 2402.11987
ER  -