Nondeterminism in game semantics via sheaves

DOI10.1109/LICS.2015.30MaRDI QIDQ4635806zbMATH OpenOpenAlexFDO

Authors

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)

Recommendations

• What's in a game?
• A Theory for Game Theories
• Categorical combinatorics for non deterministic strategies on simple games
• A Mathematical Game Semantics of Concurrency and Nondeterminism
• Probabilistic game semantics

Cited in

(9)

• Bayesian strategies: probabilistic programs as generalised graphical models
• Monoidal-closed categories of tree automata
• Nondeterminacy and recursion via stacks and games
• Distributed Strategies Made Easy
• Categorical combinatorics for non deterministic strategies on simple games
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• Disentangling parallelism and interference in game semantics
• Grounding game semantics in categorical algebra
• scientific article; zbMATH DE number 7533349 (Why is no real title available?)

This page was built for publication: Nondeterminism in game semantics via sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635806)