From a programming language viewpoint, the lambda calculus formalises several features of the modern description of computation and its implementation. We present a denotational semantics for the untyped calculus that captures a basic feature of probabilistic programming languages, namely probability distributions as both the objects and the result of a computation
AbstractIn this paper we give a fully complete model for a linear probabilistic lambda-calculus. The...
A multitude of different probabilistic programming languages exists to-day, all extending a traditio...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
As probabilistic computation plays an increasing role in diverse fields in computer science, researc...
Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is stud...
International audienceProbabilistic operational semantics for a nondeterministic extension of pure l...
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. ...
We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous dis...
Review of the book "Semantics of the probabilistic Lambda Calculus" By Dirk Draheim: Springer-Verlag...
A notion of probabilistic lambda-calculus usually comes with a prescribed reduction strategy, typica...
We show how the framework of probabilistic abstract interpretation can be applied to statically anal...
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéressero...
Probability distributions are useful for expressing the meanings of probabilistic languages, which s...
A multitude of different probabilistic programming languages exists today, all extending a tradition...
International audienceWe introduce two extensions of the λ-calculus with a probabilistic choice oper...
AbstractIn this paper we give a fully complete model for a linear probabilistic lambda-calculus. The...
A multitude of different probabilistic programming languages exists to-day, all extending a traditio...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
As probabilistic computation plays an increasing role in diverse fields in computer science, researc...
Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is stud...
International audienceProbabilistic operational semantics for a nondeterministic extension of pure l...
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. ...
We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous dis...
Review of the book "Semantics of the probabilistic Lambda Calculus" By Dirk Draheim: Springer-Verlag...
A notion of probabilistic lambda-calculus usually comes with a prescribed reduction strategy, typica...
We show how the framework of probabilistic abstract interpretation can be applied to statically anal...
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéressero...
Probability distributions are useful for expressing the meanings of probabilistic languages, which s...
A multitude of different probabilistic programming languages exists today, all extending a tradition...
International audienceWe introduce two extensions of the λ-calculus with a probabilistic choice oper...
AbstractIn this paper we give a fully complete model for a linear probabilistic lambda-calculus. The...
A multitude of different probabilistic programming languages exists to-day, all extending a traditio...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
DOI
Add to ORKG