Game Semantics in the Nominal Model
Murdoch J. Gabbay, Dan R. Ghica · Electronic Notes in Theoretical Computer Science · 2012
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.