TY  - RPRT
TI  - The Sup Connective in IMALL: A Categorical Semantics
AU  - Alejandro Díaz-Caro
AU  - Octavio Malherbe
PY  - 2026
DO  - 10.1016/j.tcs.2026.115845
UR  - https://arxiv.org/abs/2205.02142
ID  - 2205.02142
ER  -