$λ$ -项的正规化、Taylor展开和刚性逼近
Normalization, Taylor expansion and rigid approximation of $λ$-terms
摘要：
本文的目的是通过$ λ$ -项的泰勒展开式来刻画微积分中的三个基本规范化性质。一般的证明策略在于说明普通的约简策略对它们的资源对应物的依赖性，并在泰勒展开中找到一个方便的资源项，该资源项在所考虑的约简类型下表现良好。
英文摘要：
The aim of this work is to characterize three fundamental normalization proprieties in lambda-calculus trough the Taylor expansion of $ λ$-terms. The general proof strategy consists in stating the dependence of ordinary reduction strategies on their resource counterparts and in finding a convenient resource term in the Taylor expansion that behaves well under the considered kind of reduction.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
