A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
We introduce nominal games for modelling programming 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 move-set is N . This approach leads to a clean anddoi:10.1109/lics.2004.1319609 dblp:conf/lics/AbramskyGMOS04 fatcat:yrv2dgyks5c6dgym5mhs2jfq4a