New Foundations for the Geometry of Interaction (Symposium on Logic in Computer Science, 1992)

(untitled) - Abramsky, S; Jagadeesan, R