Game Semantics
S. Abramsky and G. McCusker
Book Title
Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School
Editor
H. Schwichtenberg and U. Berger
Pages
1−56
Publisher
Springer−Verlag
Year
1999
S. Abramsky and G. McCusker