On the Taylor Expansion of Probabilistic $\lambda$-Terms (Long Version)

arxiv: 1904.09650 · v1 · pith:MSBATWK4new · submitted 2019-04-21 · 💻 cs.LO

On the Taylor Expansion of Probabilistic λ-Terms (Long Version)

Ugo Dal Lago , Thomas Leventis This is my paper

classification 💻 cs.LO

keywords probabilisticexpansiontaylortermslambdaadequateauthorcorrespondence

0 comments p. Extension

pith:MSBATWK4 Add to your LaTeX paper

What is a Pith Number?

\usepackage{pith}
\pithnumber{MSBATWK4}

Prints a linked pith:MSBATWK4 badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

read the original abstract

We generalise Ehrhard and Regnier's Taylor expansion from pure to probabilistic $\lambda$-terms through notions of probabilistic resource terms and explicit Taylor expansion. We prove that the Taylor expansion is adequate when seen as a way to give semantics to probabilistic $\lambda$-terms, and that there is a precise correspondence with probabilistic B\"ohm trees, as introduced by the second author.

This paper has not been read by Pith yet.

On the Taylor Expansion of Probabilistic λ-Terms (Long Version)

discussion (0)