A term calculus for intuitionistic linear logic (1993)

by P N Benton, Gavin M Bierman, Valeria de Paiva, Martin Hyland
Venue:In Marc Bezem and Jan Friso Groote, editors, TLCA, volume 664 of Lecture Notes in Computer Science