1. S. Abramsky, Retracing some paths in process algebra, in: CONCUR 96, Lecture Notes in Computer Science, Vol. 1119, Springer, Berlin, 1996, pp. 1–17.
2. S. Abramsky, Interaction, Combinators and Complexity, Lecture Notes, Siena, Italy, 1997.
3. Geometry of interaction and linear combinatory algebras;Abramsky;Math. Struct. Comput. Sci.,2002
4. New foundations for the geometry of interaction;Abramsky;Inform. and Comput.,1994
5. S. Abramsky, M. Lenisa, A fully-complete PER model for ML polymorphic types, CSL’2000, Lecture Notes in Computer Science, Vol. 1862, Springer, Berlin, 2000, pp. 140–155.