Login / Signup

A Fully Abstract Game Semantics for Countable Nondeterminism.

William John GowersJames David Laird
Published in: CSL (2018)
Keyphrases