DMCA
The Differential Lambda-Calculus (2003)
Cached
Download Links
- [iml.univ-mrs.fr]
- [iml.univ-mrs.fr]
- [www.pps.jussieu.fr]
- [iml.univ-mrs.fr]
- [iml.univ-mrs.fr]
- DBLP
Other Repositories/Bibliography
by
Thomas Ehrhard
,
Laurent Regnier
| Venue: | Theoretical Computer Science |
| Citations: | 68 - 11 self |
BibTeX
@ARTICLE{Ehrhard03thedifferential,
author = {Thomas Ehrhard and Laurent Regnier},
title = {The Differential Lambda-Calculus},
journal = {Theoretical Computer Science},
year = {2003},
volume = {309},
pages = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
