Normalization, Taylor expansion and rigid approximation of λ-terms

01/06/2020 ∙ by Federico Olimpieri, et al. ∙ 0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.