1. Linear lambda-calculus and categorical models revisited;Benton,1993
2. A term calculus for intuitionistic linear logic;Benton,1993
3. G.M. Bierman, On intuitionistic linear logic, Ph.D. Thesis, Computer Laboratory, Cambridge University, 1993.
4. G.M. Bierman, What is a categorical model of linear logic? in: Proc. Second Internat. Conf. Typed Lambda Calculi and Applications, TCLA’ in Computer Science, Springer, Berlin, 1995, pp. 78–93.
5. Natural deduction and coherence for weakly distributive categories;Blute;J. Pure Appl. Algebra,1996