Game semantics in the nominal model
Research output: Contribution to journal › Article › peer-review
Colleges, School and Institutes
- Heriot-Watt University
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.
|Number of pages||17|
|Journal||Electronic Notes in Theoretical Computer Science|
|Publication status||Published - 24 Sep 2012|