New Foundations for the Geometry of Interaction (1993)

by Samson Abramsky, Radha Jagadeesan
Venue:Information and Computation