Call-by-value games. Presented at CSL '97. Submitted for publication (1997)

by Samson Abramsky, Guy McCusker
Venue:in proceedings of CSL'97