Showing 1–1 of 1 results for author: Leventis, T

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

Authors: Ugo Dal Lago, Thomas Leventis

Abstract: 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. 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. △ Less

Submitted 21 April, 2019; originally announced April 2019.