TY  - RPRT
TI  - An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
AU  - Alejandro Díaz-Caro
AU  - Malena Ivnisky
AU  - Octavio Malherbe
PY  - 2025
DO  - 10.1093/logcom/exaf053
UR  - https://arxiv.org/abs/2504.12128
ID  - 2504.12128
ER  -