Normalization and Taylor expansion of lambda-terms

EasyChair Preprint 165

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 behaves well under the considered kind of reduction.

Keyphrases: Taylor expansion of lambda-terms, lambda calculus, linear logic, normalization

@booklet{EasyChair:165,
  author    = {Federico Olimpieri},
  title     = {Normalization and Taylor expansion of lambda-terms},
  doi       = {10.29007/pqv5},
  howpublished = {EasyChair Preprint 165},
  year      = {EasyChair, 2018}}