Nominal games and full abstraction for the nu-calculus

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.

3 Responses to “Nominal games and full abstraction for the nu-calculus”


  1. 1 sepatu pria June 23, 2015 at 3:52 pm

    Asking questions are in fact good thing if you are not understanding something completely,
    but this article provides nice understanding yet.

  2. 2 jual Anti jamur kayu January 9, 2016 at 7:54 pm

    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!

  3. 3 rencontre cougar February 18, 2016 at 6:59 pm

    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.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s





%d bloggers like this: