Game semantics in the nominal model
Research output: Contribution to journal › Article › peer-review
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 language | English |
---|---|
Pages (from-to) | 173-189 |
Number of pages | 17 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 286 |
Publication status | Published - 24 Sep 2012 |
Keywords
- Equivariance, Game semantics, Nominal abstraction and coabstraction, Nominal sets