Concurrent strategies based on event structures are examined from the
vi...
Game semantics is a denotational semantics presenting compositionally th...
Game semantics has proven to be a robust method to give compositional
se...
We show how the categorical logic of untyped, simply typed and dependent...