Games in the Semantics of Programming Languages (1997)

by S Abramsky
Venue:Dept. of Philosophy, University of Amsterdam