Open AccessGame Semantics in the Nominal Model
Author(s) -
Murdoch J. Gabbay,
Dan R. Ghica
Publication year - 2012
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2012.08.012
Subject(s) - game semantics , semantics (computer science) , computer science , programming language , theoretical computer science , operational semantics , mathematical economics , algebra over a field , denotational semantics , mathematics , pure mathematics
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom