A Linear Proof Language for Second-Order Intuitionistic Linear Logic.

Alejandro Daz-Caro, Gilles Dowek, Malena Ivnisky, Octavio Malherbe

Browse the full WoLLIC paper archive.