Summary: Game Semantics
University of Edinburgh
Department of Computer Science
James Clerk Maxwell Building
Edinburgh EH9 3JZ
St John's College
Oxford OX1 3JP
The aim of this chapter is to give an introduction to some recent work on the appli
cation of game semantics to the study of programming languages.
An initial success for game semantics was its use in giving the first syntaxfree
descriptions of the fully abstract model for the functional programming language
PCF [1, 14, 31].
One goal of semantics is to characterize the ``universe of discourse'' implicit