1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Logic Comput. 2(3), 297–347 (1992)
2. Benton, P.N., Wadler, P.: Linear logic, monads and the lambda calculus. In: Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27–30, pp. 420–431. IEEE Computer Society (1996)
3. Lecture Notes in Computer Science;GM Bierman,1995
4. Lecture Notes in Computer Science;A Carraro,2014
5. Curien, P.-L.: Call-By-Push-Value in system L style. Unpublished note (2015)