Retour à la page du séminaire

13/01/99: Russ Harmer An overview of game semantics.


In this talk, we'll give a general introduction to some of the ideas and techniques of game semantics, starting with an informal discussion to give basic intuitions and leading on to a more formal account. If time permits, we'll conclude by describing some recent developments (joint work with Vincent Danos).