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.
A Probabilistic Semantics for the Pure Lambda Calculus
Di Pierro, Alessandra
2017-01-01
Abstract
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
