概率$λ$ -项的Taylor展开式（长版）
On the Taylor Expansion of Probabilistic $λ$-Terms (Long Version)
摘要：
我们概括Ehrhard和Regnier的泰勒展开从纯概率$λ$ -条款通过概率资源条款和明确的泰勒展开的概念。我们证明，泰勒展开是足够的，当被视为一种方式，以提供语义的概率$λ$ -条款，并有一个精确的对应概率Böhm树，介绍了第二作者。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
