Add to ORKGInternational audienceWe 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
We consider the probabilistic untyped lambda-calculus and prove a stronger form of the adequacy prop...
International audienceFor encompassing the limitations of probabilistic coherence spaces which do no...
We study a probabilistic logic based on the coherence principle of de Finetti and a related notion o...
AbstractWe study a probabilistic version of coherence spaces and show that these objects provide a m...
Probabilistic coherence spaces (PCoh) yield a semantics of higher-order probabilistic computation, i...
ABSTRACT Coherence Spaces were defined by J. Y. Girard in Coherence Spaces are a special subcategor...
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, mor-p...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We present a probabilistic version of PCF, a well-known simply typed universal functional language. ...
Probabilistic coherence spaces are a model of classical linear logic but not a model of differential...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morph...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We consider the probabilistic untyped lambda-calculus and prove a stronger form of the adequacy prop...
International audienceFor encompassing the limitations of probabilistic coherence spaces which do no...
We study a probabilistic logic based on the coherence principle of de Finetti and a related notion o...
AbstractWe study a probabilistic version of coherence spaces and show that these objects provide a m...
Probabilistic coherence spaces (PCoh) yield a semantics of higher-order probabilistic computation, i...
ABSTRACT Coherence Spaces were defined by J. Y. Girard in Coherence Spaces are a special subcategor...
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, mor-p...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We present a probabilistic version of PCF, a well-known simply typed universal functional language. ...
Probabilistic coherence spaces are a model of classical linear logic but not a model of differential...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morph...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail...
We consider the probabilistic untyped lambda-calculus and prove a stronger form of the adequacy prop...
International audienceFor encompassing the limitations of probabilistic coherence spaces which do no...
We study a probabilistic logic based on the coherence principle of de Finetti and a related notion o...