| | |
Summary: Nominal Games and Full Abstraction for the Nu-Calculus
S. Abramsky
Oxford University
D. R. Ghica
Oxford University
A. S. Murawski
Oxford University
C.-H. L. Ong
Oxford University
I. D. B. Stark
Edinburgh University
Abstract
We introduce nominal games for modelling program-
ming languages with dynamically generated local names,
as exemplified by Pitts and Stark's nu-calculus. Inspired
by Pitts and Gabbay's recent work on nominal sets, we
construct arenas and strategies in the world (or topos) of
Fraenkel-Mostowski sets (or simply FM-sets). We fix an
infinite set N of names to be the "atoms" of the FM-theory,
and interpret the type of names as the flat arena whose
|
