Probabilistic Game Semantics

Vincent Danos, Russell Harmer

Research output: Contribution to journalArticlepeer-review


A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified to give a measure of the likelihood of seeing a given play. A 2-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy and that die. The interpretative power of the category is then demonstrated by delineating a Cartesian closed subcategory, which provides a fully abstract model of a probabilistic extension of Idealized Algol.
Original languageEnglish
Pages (from-to)204
Number of pages1
JournalLogic in Computer Science, Symposium on
Publication statusPublished - 2000

Fingerprint Dive into the research topics of 'Probabilistic Game Semantics'. Together they form a unique fingerprint.

Cite this