Nondeterminism in Game Semantics via Sheaves

DOI10.1109/LICS.2015.30zbMath1401.68177OpenAlexW1564744357MaRDI QIDQ4635806

No author found.

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2015.30

Mathematics Subject Classification ID

Applications of game theory (91A80) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)

Related Items (6)

Unnamed Item ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Unnamed Item ⋮ Monoidal-closed categories of tree automata ⋮ Distributed Strategies Made Easy

This page was built for publication: Nondeterminism in Game Semantics via Sheaves