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

Please sign up or login with your details

Forgot password? Click here to reset