FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: