and Valeria de Paiva. A term calculus for intuitionistic linear logic (1993)

by Nick Benton, G M Bierman, J Martin E Hyland
Venue:Proceedings of the International Conference on Typed Lambda Calculi and Applications, pages 75–90. SpringerVerlag LNCS 664