Probabilistic game semantics
From MaRDI portal
Publication:5738959
DOI10.1145/507382.507385zbMath1365.68310OpenAlexW2178993149MaRDI QIDQ5738959
Vincent Danos, Russell S. Harmer
Publication date: 13 June 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/507382.507385
Applications of game theory (91A80) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)
Related Items (23)
Continuous probability distributions in concurrent games ⋮ On Applicative Similarity, Sequentiality, and Full Abstraction ⋮ Game semantics for dependent types ⋮ The geometry of Bayesian programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weighted models for higher-order computation ⋮ From Qualitative to Quantitative Semantics ⋮ Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Game Semantics for Quantum Stores ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Game Semantics for Quantum Data ⋮ On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) ⋮ Unnamed Item ⋮ Definability and Full Abstraction ⋮ On a Fully Abstract Model for a Quantum Linear Functional Language ⋮ Probabilistic π-Calculus and Event Structures ⋮ Information flow for Algol-like languages
This page was built for publication: Probabilistic game semantics