Login / Signup

Nondeterminism in Game Semantics via Sheaves.

Takeshi TsukadaC.-H. Luke Ong
Published in: LICS (2015)
Keyphrases