1. Abransky S. and G. McCusker, Linearity, Sharing and state; A fully abstract game semantics for idealised algol with active expressions, in: Linear Logic, Electronic Notes in Theoretical Computer Science 3 (1993).
2. Barendsen E. and S Smetsers, Conventional and uniqueness typing in graph rewriting systems, Foundations of Software Technology and Theoretically Computer Science, (1996).
3. Linear logic, monads and the lambda calculus;Benton;Logic in Computer Science,1996
4. Linear logic;Girard;Theoretical Computer Science,1987
5. Girard J.Y., On the logic of unity (1991), manuscript.