Game semantics in the nominal model
Research output: Contribution to journal › Article
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