Game Semantics for Programming Languages
S. Abramsky
Book Title
22nd International Symposium on Mathematical Foundations of Computer Science
Editor
I. Privara and P. Ruzicka
Pages
3−4
Publisher
Springer−Verlag
Series
Springer Lecture Notes in Computer Science
Volume
1295
Year
1997