摘要：We generalise Ehrhard and Regnier's Taylor expansion from pure to probabilistic lambda-terms. 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öhm trees, as introduced by the second author. We prove this adequacy through notions of probabilistic resource terms and explicit Taylor expansion.
关键词：Probabilistic Lambda-Calculi; Taylor Expansion; Linear Logic
