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