A Fully Abstract Game Semantics for Countable Nondeterminism.

William John Gowers, James David Laird

Browse the full CSL paper archive.