Download PDFOpen PDF in browser

Normalization and Taylor expansion of lambda-terms

EasyChair Preprint no. 165

5 pagesDate: May 24, 2018


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: lambda calculus, linear logic, normalization, Taylor expansion of lambda-terms

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Federico Olimpieri},
  title = {Normalization and Taylor expansion of lambda-terms},
  howpublished = {EasyChair Preprint no. 165},
  doi = {10.29007/pqv5},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser