Game Semantics (1999)

by S Abramsky, G McCusker
Venue:In Computational Logic. U. Berger and H. Schwichtenberg eds