Summary: Game Semantics
Samson Abramsky
University of Edinburgh
Department of Computer Science
James Clerk Maxwell Building
Edinburgh EH9 3JZ
Scotland
email: samson@dcs.ed.ac.uk
Guy McCusker
St John's College
Oxford OX1 3JP
England
email: mccusker@comlab.ox.ac.uk
1 Introduction
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 syntax­free
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

Source: Abramsky, Samson - Computing Laboratory, University of Oxford
Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University

Collections: Computer Technologies and Information Sciences; Mathematics