Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Nominal Games and Full Abstraction for the Nu-Calculus S. Abramsky

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
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


Source: Abramsky, Samson - Computing Laboratory, University of Oxford
Stark, Ian - School of Informatics, University of Edinburgh


Collections: Computer Technologies and Information Sciences