Names and Games

I'll talk about some applications of nominal sets to game semantics.
Nominal sets provide intrinsic notions of names and binding within
standard set theory.  One use of these is to build game models for
languages and situations where names are more or less evident: such as
the nu-calculus, ML with references, aliasing of heap-allocated
variables, or objects.  Quite independently, existing game models
already use various name-like constructions: such as pointers within
plays, or labels for threads of interaction.  Nominal sets also give
an opportunity to rationalise this internal machinery, replacing
integer tags or explicit quotients with well-behaved nominal concepts.