The differential lambda-calculus

被引：160
|
作者：
Ehrhard, T [1 ]
Regnier, L [1 ]
机构：
[1] CNRS, Inst Math Luminy, UPR 9016, F-13288 Marseille, France
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 309卷 / 1-3期
关键词：
lambda-calculus; linear logic; denotational semantics; linear head reduction;
D O I：
10.1016/S0304-3975(03)00392-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：1 / 41
页数：41
相关论文
共 50 条
12345