托马斯·埃哈德;劳伦特·雷格尼尔 微分λ-微积分。 (英文) Zbl 1070.68020号 西奥。计算。科学。 309,编号1-3,1-41(2003). 小结:我们提出了具有微分结构的lambda-calculus的一个推广。我们陈述并证明了一些基本结果(合流,类型情况下的强正规化),以及一个将通常的泰勒级数分析与lambda-calculus的线性水头缩减相关的定理。 引用于13评论引用于89文件 MSC公司: 68甲18 函数编程和lambda演算 03B40型 组合逻辑与lambda演算 关键词:λ-微积分;线性逻辑;指称语义学;线性压头降低 软件:自动化 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard}和\textit{L.Regnier},Theor。计算。科学。309,编号1--3,1--41(2003;Zbl 1070.68020) 全文: 内政部 参考文献: [1] Altenkirch,T。;北加尼。;McBride,C.,容器的衍生物,(Hofmann,M.,Proc.Sixturn Typed Lambda Calculi and Applications Conf.Proc.Six Typed Lambeda Calcuil and Applications Conf.,计算机科学讲稿,第2701卷(2003),Springer:Springer Berlin),16-30·Zbl 1039.68078号 [2] Barendregt,H.,《lambda微积分,逻辑研究和数学基础》,第103卷(1984年),北荷兰德:北荷兰德阿姆斯特丹·Zbl 0549.03012号 [3] Barr,M.,*-自治类别,数学讲义,第752卷(1979),施普林格:施普林格柏林·Zbl 0415.18008号 [4] 什么是直觉主义线性逻辑的范畴模型?,(Dezani-Ciancaglini,M.;Plotkin,G.D.,Proc.Second Typed Lambda-Calculi and Applications Conf.Proc.Secnd Typed Lampda-Calcusli and Applications-Conf,计算机科学讲稿,第902卷(1995),Springer:Springer Berlin),73-93·Zbl 1063.03534号 [5] G.Boudol,《具有多重性的lambda微积分》,《2025年技术报告》,INRIA Sophia Antipolis,1993年。;G.Boudol,《多重lambda演算》,《2025年技术报告》,INRIA Sophia-Antipolis,1993年。 [6] 布多尔,G。;居里,P.-L。;Lavatelli,C.,《lambda calculi的语义与资源》,《计算机科学中的数学结构》,9,4,437-482(1999)·Zbl 0935.03022号 [7] V.Danos,H.Herbelin,L.Regnier,游戏语义和抽象机器,收录于:Proc。第十一交响曲。《计算机科学中的逻辑》,IEEE计算机学会出版社,马里兰州银泉出版社,1996年。;V.Danos,H.Herbelin,L.Regnier,游戏语义和抽象机器,收录于:Proc。第十一交响曲。《计算机科学中的逻辑》,IEEE计算机社会出版社,马里兰州银泉出版社,1996年。 [8] V.Danos,L.Regnier,Head linear reduction,2003年,提交出版。;V.Danos,L.Regnier,Head linear reduction,2003年,提交出版。 [9] N.G.De Bruijn,通过lambda型lambda演算推广自动机,见:D.W.Kueker,E.G.K.Lopez-Escobar,C.H.Smith(编辑),《数学逻辑和理论计算机科学》,《纯粹数学和应用数学讲义》,Marcel Dekker,纽约,1987年,第71-92页。(转载于:《自动化精选论文》,《逻辑研究》,第133卷,第313-337页,荷兰北部,阿姆斯特丹,1994年)。;N.G.De Bruijn,《通过lambda型lambda演算推广自动机》,载于:D.W.Kueker,E.G.K.Lopez Escobar,C.H.Smith(编辑),《数理逻辑与理论计算机科学》,《纯粹与应用数学讲义》,Marcel Dekker,纽约,1987年,第71-92页。(转载于:《自动化精选论文》,《逻辑研究》,第133卷,第313-337页,荷兰北部,阿姆斯特丹,1994年)·Zbl 0648.68099号 [10] Ehrhard,T.,《关于Köthe序列空间和线性逻辑》,《计算机科学中的数学结构》,第12期,第579-623页(2002年)·Zbl 1025.03066号 [11] T.Ehrhard,有限空间,初步版本,可从以下网址获取:;T.Ehrhard,有限空间,初步版本,访问 [12] Girard,J.-Y.,线性逻辑,理论计算机科学,50,1-102(1987)·Zbl 0625.03037号 [13] Girard,J.-Y.,相干banach空间——连续指称语义,理论计算机科学,227275-297(1999)·Zbl 0952.03025号 [14] Kriegl,A。;Michor,P.W.,《全球分析的便利设置》,《数学调查与专著》,第53卷(1997年),美国数学学会:美国数学学会普罗维登斯,RJ·Zbl 0889.58001号 [15] J.-L.Krivine,Lambda-Calculus,Types and Models,Ellis-Horwood Series in Computers and its Applications,英国奇切斯特,1993年(由RenéCori翻译,法文1990版Masson)。;J.-L.Krivine、Lambda-Calculus、类型和模型、Ellis-Horwood计算机及其应用系列,Ellis-Holwood,Chichester,英国,1993年(由RenéCori从法语1990版Masson翻译)。 [16] Lefschetz,S.,代数拓扑学,美国数学学会学术讨论会出版物,第27卷(1942年),美国数学协会:美国数学协会普罗维登斯,RI·Zbl 0061.39302号 [17] C.McBride,《规则类型的派生词是其单孔上下文类型》,未出版,电子版,2000年。;C.McBride,《规则类型的派生词是其单孔上下文类型》,未出版,电子版,2000年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。