Probabilistic Game Semantics

Vincent Danos, Russell S. Harmer

Research output: Contribution to journalArticlepeer-review

Abstract

A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A two-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 that provides a fully abstract model of a probabilistic extension of Idealized Algol.
Original languageEnglish
Pages (from-to)359-382
Number of pages24
JournalACM Transactions on Computational Logic
Volume3
Issue number3
DOIs
Publication statusPublished - Jul 2002

Keywords

  • Games semantics
  • probabilistic Idealized Algol

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

Cite this