Call−by−value games
S. Abramsky and G. McCusker
Details
| 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 |
Links
Related pages
|
People |