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: |