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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have