Game semantics in the nominal model

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

External organisations

  • Heriot-Watt University

Abstract

We present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.

Details

Original languageEnglish
Pages (from-to)173-189
Number of pages17
JournalElectronic Notes in Theoretical Computer Science
Volume286
Publication statusPublished - 24 Sep 2012

Keywords

  • Equivariance, Game semantics, Nominal abstraction and coabstraction, Nominal sets