Probabilistic coherence spaces as a model of higher-order probabilistic computation

Resource type
Authors/contributors
Title
Probabilistic coherence spaces as a model of higher-order probabilistic computation
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.
Publication
Information and Computation
Volume
209
Issue
6
Pages
966-991
Date
June 1, 2011
Journal Abbr
Information and Computation
Language
en
DOI
10/ctfch6
ISSN
0890-5401
Accessed
2019-11-22T17:01:53Z
Library Catalog
ScienceDirect
Extra
ZSCC: 0000065
Citation
Ehrhard, T., & Danos, V. (2011). Probabilistic coherence spaces as a model of higher-order probabilistic computation. Information and Computation, 209(6), 966–991. https://doi.org/10/ctfch6
Processing time: 0.02 seconds

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references