@inproceedings{paper46, title = "Call-by-value games", author = "S. Abramsky and G. McCusker", year = "1998", booktitle = "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", }