Semantics of Interaction: an introduction to Game Semantics
S. Abramsky
Book Title
Proceedings of the 1996 CLiCS Summer School‚ Isaac Newton Institute
Editor
P. Dybjer and A. Pitts
Pages
1−31
Publisher
Cambridge University Press
Year
1997
S. Abramsky