Uniformity and the Taylor expansion of ordinary lambda-terms Auteur(s): Ehrhard Thomas, Regnier Laurent
Ref HAL: hal-00150275_v1 DOI: 10.1016/j.tcs.2008.06.001 Exporter : BibTex | endNote Résumé: We define the complete Taylor expansion of an ordinary lambda-term as an infinite linear combination --- with rational coefficients --- of terms of a resource calculus similar to Boudol's resource lambda-calculus. In this calculus, all applications are (multi-)linear in the algebraic sense, i.e. commute with linear combination of the function or the argument. We study the collective behaviour of the beta-reducts of the terms occurring in the Taylor expansion of any ordinary lambda-term, using a uniformity property that they enjoy. |