Semantics of interaction: an introduction to game semantics (1997)

by S Abramsky
Venue:in A. M. Pitts and P. Dybjer (Editors), Semantics and Logics of Computation