%0 Journal Article
%T The differential lambda-calculus
%+ Institut de mathématiques de Luminy (IML)
%A Ehrhard, Thomas
%A Regnier, Laurent
%Z 41 pages
%< avec comité de lecture
%@ 1879-2294
%J Theoretical Computer Science
%I Elsevier
%V 309
%N 1-3
%P 1-41
%8 2003-12-02
%D 2003
%R 10.1016/S0304-3975(03)00392-X
%K Lambda-calculus
%K Linear logic
%K Denotational semantics
%K Linear head reduction
%Z ACM F.3.2
%Z Computer Science [cs]/Logic in Computer Science [cs.LO]Journal articles
%X 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.
%G English
%L hal-00150572
%U https://hal.science/hal-00150572
%~ CNRS
%~ UNIV-AMU
%~ IML
%~ I2M