Game semantics in the nominal model

Murdoch Gabbay; Dan Ghica

doi:10.1016/j.entcs.2012.08.012

Game semantics in the nominal model

Murdoch Gabbay, Dan Ghica

Computer Science

Research output: Contribution to journal › Article › peer-review

7 Citations (Scopus)

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.

Original language	English
Pages (from-to)	173-189
Number of pages	17
Journal	Electronic Notes in Theoretical Computer Science
Volume	286
DOIs	https://doi.org/10.1016/j.entcs.2012.08.012
Publication status	Published - 24 Sept 2012

Keywords

Equivariance
Game semantics
Nominal abstraction and coabstraction
Nominal sets

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/j.entcs.2012.08.012

Cite this

@article{f24e1a9a52814443a53616cd05ccf47a,

title = "Game semantics in the nominal model",

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.",

keywords = "Equivariance, Game semantics, Nominal abstraction and coabstraction, Nominal sets",

author = "Murdoch Gabbay and Dan Ghica",

year = "2012",

month = sep,

day = "24",

doi = "10.1016/j.entcs.2012.08.012",

language = "English",

volume = "286",

pages = "173--189",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Game semantics in the nominal model

AU - Gabbay, Murdoch

AU - Ghica, Dan

PY - 2012/9/24

Y1 - 2012/9/24

N2 - 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.

AB - 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.

KW - Equivariance

KW - Game semantics

KW - Nominal abstraction and coabstraction

KW - Nominal sets

UR - http://www.scopus.com/inward/record.url?scp=84879214784&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2012.08.012

DO - 10.1016/j.entcs.2012.08.012

M3 - Article

AN - SCOPUS:84879214784

SN - 1571-0661

VL - 286

SP - 173

EP - 189

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Game semantics in the nominal model

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this