1. Computational interpretations of linear logic;Abramsky;Theoret. Comput. Sci,1993
2. A. Barber, Dual Intuitionistic Linear Logic, Technical report ECS-LFCS-96-347, Laboratory for Foundations of Computer Sciences, University if Edinburgh, 1996.
3. The Lambda-Calculus: Its Syntax and Semantics;Barendregt,1980
4. Lambda calculi with types;Barendregt,1992
5. A term calculus for intuitionistic linear logic;Benton,1993