Game semantics (1998)

by S Abramksy, G McCusker
Venue:Logic and Computation: Proc. 1997 Marktoberdorf Summer School, NATO Science Series