Probabilistic Coherence Spaces As a Model of Higher-order Probabilistic Computation

Vincent Danos, Thomas Ehrhard

Research output: Contribution to journalArticlepeer-review

Abstract

We study a probabilistic version of coherence spaces and show that these objects provide a model of linear logic. We build a model of the pure lambda-calculus in this setting and show how to interpret a probabilistic version of the functional language PCF. We give a probabilistic interpretation of the semantics of probabilistic PCF closed terms of ground type. Last we suggest a generalization of this approach, using Banach spaces.
Original languageEnglish
Pages (from-to)966-991
Number of pages26
JournalInformation and Computation
Volume209
Issue number6
DOIs
Publication statusPublished - 1 Jun 2011

Keywords

  • Denotational semantics
  • Lambda-calculus
  • Linear logic
  • PCF
  • Probabilistic models

Fingerprint Dive into the research topics of 'Probabilistic Coherence Spaces As a Model of Higher-order Probabilistic Computation'. Together they form a unique fingerprint.

Cite this