By Samson Abramsky, Dan Ghica, Andrzej Murawski, Luke Ong and Ian Stark, from LICS 2004, available from Ian Stark’s website:

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 and precise treatment of fresh names and standard game constructions (such as plays, views, innocent strategies, etc.) that are considered invariant under renaming. The main result is the construction of the first fully-abstract model for the nu-calculus.

### Like this:

Like Loading...

*Related*

Asking questions are in fact good thing if you are not understanding something completely,

but this article provides nice understanding yet.

Awesome blog you have here but I was curious about if you knew

of any user discussion forums that cover the same topics discussed here?

I’d really like to be a part of community where I can get comments from other knowledgeable individuals that share the same interest.

If you have any recommendations, please let me know.

Thanks a lot!

My relatives every time say that I am killing my time here at web,

but I know I am getting knowledge daily by reading such pleasant

articles.