Results 1 
1 of
1
The differential lambdacalculus
, 2003
"... We present an extension of the lambdacalculus 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 lambdacalculus. ..."
Abstract

Cited by 44 (9 self)
 Add to MetaCart
We present an extension of the lambdacalculus 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 lambdacalculus.