A term calculus for intuitionistic linear logic (1993)

by P N Benton, G M Bierman, V C V de Paiva, J M E Hyland
Venue:Typed Lambda Calculi and Applications. Springer-Verlag Lecture Notes in Computer Science 664