Call-by-value games (1998)

by S Abramsky, G McCusker
Venue:6th Annual Conference of the European Association for Computer Science Logic