1. Lecture Notes in Computer Science;S. Abramsky,1996
2. Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensored *-categories. J. Pure and Applied Algebra 143, 3–47 (1999)
3. Abramsky, S., Haghverdi, E., Scott, P.J.: Geometry of Interaction and Linear Combinatory Algebras. MSCS 12(5), 625–665 (2002)
4. Abramsky, S., Jagadeesan, R.: New Foundations for the Geometry of Interaction. Information and Computation 111(1), 53–119 (1994)
5. Baillot, P.: Abramsky-Jagadeesan-Malacaria strategies and the geometry of interaction, mémoire de DEA, Universite Paris 7 (1995)