Article Dans Une Revue Information and Computation Année : 2011

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

Thomas Ehrhard
Vincent Danos

Résumé

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.

Fichier non déposé

Dates et versions

hal-00640435 , version 1 (12-11-2011)

Identifiants

  • HAL Id : hal-00640435 , version 1

Citer

Thomas Ehrhard, Vincent Danos. Probabilistic coherence spaces as a model of higher- order probabilistic computation. Information and Computation, 2011, 152 (1), pp.111-137. ⟨hal-00640435⟩
135 Consultations
0 Téléchargements

Partager

  • More