New Foundations for the Geometry of Interaction - Abramsky, S; Jagadeesan, R (Symposium on Logic in Computer Science, 1992)