Probabilistic coherence spaces as a model of higher- order probabilistic computation
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.