Game semantics

Luke Ong

(University of Oxford)

Game semantics is a way of understanding computing and other interaction systems by using elementary ideas of game playing as conceptual and analytical tools. It is an unusual denotational semantics in that it captures the algorithmic and dynamical aspects of the system. This makes it an ideal semantic framework in which to seek to unify the analyses of both the qualitative (semantics) and the quantitative (complexity) aspects of computing systems, while keeping them separate. In this talk we shall give a survey of game semantics focussing on the full abstraction problem for PCF. Time permitting, we shall also mention recent progress in using game semantics to understand higher-type complexity.
Tuesday 28th April 1998, 14:30
Seminar Room 322
Department of Computer Science