@MISC{Danos08onprobabilistic, author = {Vincent Danos and Thomas Ehrhard}, title = {On probabilistic coherence spaces}, year = {2008} }
Bookmark
OpenURL
Abstract
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.