Uniformity and the Taylor expansion of ordinary lambda-terms

Abstract : 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.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2008, 403 (2-3), pp.347-372. 〈10.1016/j.tcs.2008.06.001〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00150275
Contributeur : Thomas Ehrhard <>
Soumis le : mercredi 30 mai 2007 - 00:02:44
Dernière modification le : jeudi 15 novembre 2018 - 20:27:00
Document(s) archivé(s) le : jeudi 8 avril 2010 - 18:19:32

Fichier

resources.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

PPS | IML | I2M | UNIV-AMU | USPC

Citation

Thomas Ehrhard, Laurent Regnier. Uniformity and the Taylor expansion of ordinary lambda-terms. Theoretical Computer Science, Elsevier, 2008, 403 (2-3), pp.347-372. 〈10.1016/j.tcs.2008.06.001〉. 〈hal-00150275〉

Partager

Métriques

Consultations de la notice

344

Téléchargements de fichiers

269