The differential lambda-calculus
The differential lambda-calculus
复制标题
DOI：
10.1016/s0304-3975(03)00392-x
复制
发表时间：
2003-12-02
影响因子：
1.1
通讯作者：
Regnier, L
中科院分区：
文献类型：
--
作者：
Ehrhard, T;Regnier, L
我们给出了一个具有微分结构的Lambda-演算的推广。我们陈述并证明了一些基本结果(合流性，类型化情况下的强正规化)，以及一个将通常的泰勒分析级数与Lambda-演算的线性头约简联系起来的定理。(C)2003爱思唯尔B.V.保留所有权利。
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. (C) 2003 Elsevier B.V. All rights reserved.