1. Computational interpretations of linear logic;Abramsky;Theoretical Computer Science,1993
2. A constructive presentation for the modal connective of necessity;Mario Benevides;Journal of Logic and Computation,1992
3. Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. A term calculus for intuitionistic linear logic. In M. Bezem and J.F. Groote, editors, Proceedings of the International Conference on Typed Lambda Calculi and Applications, TLCA'93, pages 75–90, Utrecht, The Netherlands, March 1993. Springer-Verlag LNCS 664.
4. Gavin Bierman. On Intuitionistic Linear Logic. PhD thesis, University of Cambridge Computer Laboratory, December 1993. Revised version available as technical report No. 346, August 1994.
5. Gavin Bierman and Valeria de Paiva. Intuitionistic necessity revisited. In Proceedings of the Logic at Work Conference, Amsterdam, Holland, December 1992.