A game semantics of local names and good variables

Research output: Chapter in Book/Report/Conference proceedingChapter

23 Citations (Scopus)

Abstract

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
Pages289-303
Number of pages15
ISBN (Print)9783540212980
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
Volume2987

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

Cite this