A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Game Semantics in the Nominal Model
2012
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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.
doi:10.1016/j.entcs.2012.08.012
fatcat:j7udgnjbzrd63ed6hmxhfedse4