Call−by−value games
S. Abramsky and G. McCusker
Book Title
Proceedings of the Eleventh International Workshop on Computer Science Logic
Editor
M. Nielsen and W. Thomas
Pages
1−17
Publisher
Springer−Verlag
Series
Springer Lecture Notes in Computer Science
Volume
1414
Year
1998