The Parallel Intensionally Fully Abstract Games Model of PCF
From MaRDI portal
Publication:4635807
DOI10.1109/LICS.2015.31zbMath1401.68170OpenAlexW1527567728MaRDI QIDQ4635807
Simon Castellan, Pierre Clairambault, Glynn Winskel
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.31
Applications of game theory (91A80) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)
Related Items (7)
Continuous probability distributions in concurrent games ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Concurrent Quantum Strategies
This page was built for publication: The Parallel Intensionally Fully Abstract Games Model of PCF