Nondeterminism in Game Semantics via Sheaves.

Takeshi Tsukada, C.-H. Luke Ong

Browse the full LICS paper archive.