Game semantics in the nominal model

Murdoch Gabbay, Dan Ghica

Research output: Contribution to journalArticlepeer-review

7 Citations (Scopus)


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.

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


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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Game semantics in the nominal model'. Together they form a unique fingerprint.

Cite this