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

04/21/2019

∙

by   Ugo Dal Lago, et al.

∙

0

∙

share

We generalise Ehrhard and Regnier's Taylor expansion from pure to probabilistic λ-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 λ-terms, and that there is a precise correspondence with probabilistic Böhm trees, as introduced by the second author.