Publication date
January 2021
DOIAbstract
Review of the book "Semantics of the probabilistic Lambda Calculus" By Dirk Draheim: Springer-Verlag, Berlin Heidelberg, DE, 26 January 201
Review of the book "Semantics of the probabilistic Lambda Calculus" By Dirk Draheim: Springer-Verlag, Berlin Heidelberg, DE, 26 January 201
International audienceWe introduce two extensions of the λ-calculus with a probabilistic choice oper...
The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story ...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
Review of the book "Semantics of the probabilistic Lambda Calculus" By Dirk Draheim: Springer-Verlag...
From a programming language viewpoint, the lambda calculus formalises several features of the modern...
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. ...
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. ...
International audienceProbabilistic operational semantics for a nondeterministic extension of pure l...
We show how the framework of probabilistic abstract interpretation can be applied to statically anal...
As probabilistic computation plays an increasing role in diverse fields in computer science, researc...
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéressero...
We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous dis...
Probability distributions are useful for expressing the meanings of probabilistic languages, which s...
A notion of probabilistic lambda-calculus usually comes with a prescribed reduction strategy, typica...
AbstractIn this paper we give a fully complete model for a linear probabilistic lambda-calculus. The...
International audienceWe introduce two extensions of the λ-calculus with a probabilistic choice oper...
The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story ...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
Review of the book "Semantics of the probabilistic Lambda Calculus" By Dirk Draheim: Springer-Verlag...
From a programming language viewpoint, the lambda calculus formalises several features of the modern...
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. ...
Probabilistic operational semantics for a nondeterministic extension of pure λ-calculus is studied. ...
International audienceProbabilistic operational semantics for a nondeterministic extension of pure l...
We show how the framework of probabilistic abstract interpretation can be applied to statically anal...
As probabilistic computation plays an increasing role in diverse fields in computer science, researc...
Le lambda-calcul est un formalisation de la notion de calcul. Dans cette thèse nous nous intéressero...
We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous dis...
Probability distributions are useful for expressing the meanings of probabilistic languages, which s...
A notion of probabilistic lambda-calculus usually comes with a prescribed reduction strategy, typica...
AbstractIn this paper we give a fully complete model for a linear probabilistic lambda-calculus. The...
International audienceWe introduce two extensions of the λ-calculus with a probabilistic choice oper...
The book is a focused survey on probabilistic program semantics, conceived to tell a coherent story ...
The aims of these lecture notes are two-fold: (i) we investigate the relation between the operationa...
Add to ORKG