On probabilistic coherence spaces

Vincent Danos (1) , Thomas Ehrhard (1)

1 PPS - Preuves, Programmes et Systèmes

We introduce 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.

Mots clés: denotational semantics; coherence spaces; linear logic; lambda-calculus

Domaines: Logique en informatique [cs.LO]

Vincent Danos, Thomas Ehrhard. On probabilistic coherence spaces. 2008. ⟨hal-00280462⟩