Download PDFOpen PDF in browser

Normalization and Taylor expansion of lambda-terms

EasyChair Preprint 165

5 pagesDate: May 24, 2018

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

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@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}}
Download PDFOpen PDF in browser