A Linear Proof Language for Second-Order Intuitionistic Linear Logic. - Alejandro Díaz-Caro; Gilles Dowek; Malena Ivnisky; Octavio Malherbe (WoLLIC, 2024)

An Algebraic Extension of Intuitionistic Linear Logic: The L!S-Calculus and Its Categorical Model. - Alejandro Díaz-Caro; Malena Ivnisky; Octavio Malherbe (CoRR, 2025)