Normalization and Taylor expansion of lambda-terms
Author: Federico Olimpieri
Paper Information
| Title: | Normalization and Taylor expansion of lambda-terms |
| Authors: | Federico Olimpieri |
| Proceedings: | HOR Pre-proceedings |
| Editor: | Stefano Guerrini |
| Keywords: | lambda-calculus, normalization, Taylor expansion of lambda-terms, linear logic |
| Abstract: | ABSTRACT. The aim of this work is to characterize three fundamental normalization proprieties in lambda-calculus trough the Taylor expansion. 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 support of the Taylor expansion that well-behaves under the considered kind of reduction. |
| Pages: | 5 |
| Talk: | Jul 07 16:00 (Session 31E) |
| Paper: | ![]() |
