Nondeterminism in Game Semantics via Sheaves
Work
Year: 2015
Type: article
Authors Takeshi Tsukada, C.-H. Luke Ong
Institutions The University of Tokyo, University of Oxford
Cites: 29
Cited by: 26
Related to: 10
FWCI: 1.88
Citation percentile (by year/subfield): 89.29
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed