Uniformity and the Taylor expansion of ordinary lambda-terms - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2008

Uniformity and the Taylor expansion of ordinary lambda-terms

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.
Fichier principal
Vignette du fichier
resources.pdf (378.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00150275 , version 1 (30-05-2007)

Identifiants

Citer

Thomas Ehrhard, Laurent Regnier. Uniformity and the Taylor expansion of ordinary lambda-terms. Theoretical Computer Science, 2008, 403 (2-3), pp.347-372. ⟨10.1016/j.tcs.2008.06.001⟩. ⟨hal-00150275⟩
172 Consultations
520 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More