Semantics of Interaction: an Introduction to Game Semantics (1997)

by S Abramsky
Venue:in Proceedings of the 1996 CLiCS Summer