TY  - RPRT
TI  - A linear proof language for second-order intuitionistic linear logic
AU  - Alejandro Díaz-Caro
AU  - Gilles Dowek
AU  - Malena Ivnisky
AU  - Octavio Malherbe
PY  - 2024
DO  - 10.1007/978-3-031-62687-6_2
UR  - https://arxiv.org/abs/2310.08517
ID  - 2310.08517
ER  -