Game semantics (0)

by S Abramsky, G McCusker
Venue:In Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School