The differential lambda-calculus

Abstract : We present an extension of the lambda-calculus with differential constructions. We state and prove some basic results (confluence, strong normalization in the typed case), and also a theorem relating the usual Taylor series of analysis to the linear head reduction of lambda-calculus.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2003, 309 (1-3), pp.1-41. 〈10.1016/S0304-3975(03)00392-X〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00150572
Contributeur : Thomas Ehrhard <>
Soumis le : mercredi 30 mai 2007 - 21:16:29
Dernière modification le : jeudi 17 mai 2018 - 12:52:03

Lien texte intégral

Identifiants

Collections

Citation

Thomas Ehrhard, Laurent Regnier. The differential lambda-calculus. Theoretical Computer Science, Elsevier, 2003, 309 (1-3), pp.1-41. 〈10.1016/S0304-3975(03)00392-X〉. 〈hal-00150572〉

Partager

Métriques

Consultations de la notice

218