New foundations for the geometry of interaction (1994)

by S Abramsky, R Jagadeesan
Venue:Information and Computation