A game semantics of local names and good variables

Research output: Chapter or section in a book/report/conference proceedingChapter or section

24 Citations (SciVal)


We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this allows properties of names such as freshness and locality to be characterized semantically. We describe a model of the nu-calculus in this category, and extend it with named references (without bad variables) using names as pointers to a store. After refining the semantics via a notion of garbage collection, we prove that the compact elements are definable as terms, and hence obtain a full abstraction result.

Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures
Subtitle of host publicationProceedings of 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004
EditorsI. Walukiewicz
Place of PublicationBerlin, Germany
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540212980
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science


Dive into the research topics of 'A game semantics of local names and good variables'. Together they form a unique fingerprint.

Cite this