论文标题
标准化，泰勒的扩展和$λ$ terms的刚性近似
Normalization, Taylor expansion and rigid approximation of $λ$-terms
论文作者
论文摘要
这项工作的目的是表征lambda-calculus槽中的三个基本标准化礼节，即$λ$ 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.
