Results 1 
1 of
1
The Differential LambdaCalculus
 Theoretical Computer Science
, 2001
"... We present an extension of the lambdacalculus with differential constructions motivated by a model of linear logic discovered by the first author and presented in [Ehr01]. We state and prove some basic results (confluence, weak normalization in the typed case), and also a theorem relating the usual ..."
Abstract

Cited by 44 (9 self)
 Add to MetaCart
We present an extension of the lambdacalculus with differential constructions motivated by a model of linear logic discovered by the first author and presented in [Ehr01]. We state and prove some basic results (confluence, weak normalization in the typed case), and also a theorem relating the usual Taylor series of analysis to the linear head reduction of lambdacalculus.