Pré-Publication, Document De Travail Année : 2008

On probabilistic coherence spaces

Vincent Danos
Thomas Ehrhard

Résumé

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.

Fichier principal
Vignette du fichier
pcoh.pdf (573.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00280462 , version 1 (18-05-2008)

Licence

Identifiants

  • HAL Id : hal-00280462 , version 1

Citer

Vincent Danos, Thomas Ehrhard. On probabilistic coherence spaces. 2008. ⟨hal-00280462⟩
188 Consultations
218 Téléchargements

Partager

  • More