@misc{indiciaed9b93e321e44, title = {An Algebraic Extension of Intuitionistic Linear Logic: The \$L\_!\textasciicircum{}S\$-Calculus and Its Categorical Model}, author = {Alejandro Díaz-Caro and Malena Ivnisky and Octavio Malherbe}, year = {2025}, doi = {10.1093/logcom/exaf053}, url = {https://arxiv.org/abs/2504.12128}, note = {Source identifier: 2504.12128} }