Games in the Semantics of Programming Languages

15^th October 2002, 16:00
Andrea Schalk
Department of Computer Science, University of Manchester, UK