摘要
[1] Abramsky，S.和Ong，C.-H.L.，《惰性lambda演算中的完全抽象》。 信息和计算。 v105 i2。 159-267. 谷歌学者 
[2] Z.M.Ariola，R.Kennaway，J.W.Klop，M.R.Sleep，F.-J.de Vries，未定义的句法定义：关于定义未定义的，在：Proc。 计算机软件理论方面的会议（TACS 1994），1994年，第543-554页。 谷歌学者 [3] 巴伦德雷格特，H.P。 收录于：《逻辑与数学基础研究》，第103卷。 霍兰德北部。 谷歌学者 [4] Barendregt，H.P.，Kennaway，R.，Klop，J.W.和Sleep，M.R.，lambda演算的必要简化和脊椎策略。 信息和计算。 v75 i3。 191-231. 谷歌学者 [5] Berarducci，A.，无限？-微积分和非显式模型。 摘自：《逻辑与代数》（Pontignano，1994），纽约德克尔，第339-377页。 谷歌学者 [6] 收录：Böhm，C.（Ed.），《计算机科学讲义》，第37卷。 斯普林格。 谷歌学者 [7] R.Dedekind，Sind和Sollen是否死于Zahlen？ 弗里德里希·维佩格和索恩，1893年。 谷歌学者 [8] Dershowitz，N.、Kaplan，S.和Plaisted，D.A.，《重写、重写、重写和重写》。 理论计算机科学。 v83 i1。 71-96. 谷歌学者 [9] Dezani-Ciancaglini，M.，Severi，P.和de~Vries，F.-J.，无限lambda演算和Berarducci树的判别。 理论计算机科学。 第2版i298。 275-302. 谷歌学者 [10] Endrulis，J.和de~Vrijer，R.，《替代下的还原》。 收录于：计算机科学课堂讲稿，第5117卷。 斯普林格。 第425-440页。 谷歌学者 数字图书馆 
[11] Endrullis，J.、Geuvers，H.、Simonsen，J.G.和Zantema，H.，重写中的不确定性水平。 信息和计算。 v209 i2。 227-245. 谷歌学者 [12] Endrullis，J.、Geuvers，H.和Zantema，H.，术语重写中的不确定性程度。 收录于：LNCS，第5771卷。 斯普林格。 第255-270页。 谷歌学者 数字图书馆 [13] Endrullis，J.、Grabmayer，C.和Hendriks，D.，《数据流生产力》。 收录于：LNCS，第5330卷。 斯普林格。 第79-96页。 谷歌学者 数字图书馆 [14] Endrullis，J.、Grabmayer，C.和Hendriks，D.，《分形的复杂性和生产力》。 收录于：LNCS，第5663卷。 第371-387页。 谷歌学者 [15] Endrullis，J.、Grabmayer，C.、Hendriks，D.、Isihara，A.和Klop，J.W.，《流定义的生产力》。 理论计算机科学。 v411.765-782。 谷歌学者 [16] Endrullis，J.、Grabmayer，C.、Hendriks，D.、Klop，J.W.和de~Vrijer，R.C.，《证明无穷正规化》。 收录于：计算机科学课堂讲稿，第5497卷。 施普林格。 第64-82页。 谷歌学者 数字图书馆 [17] Endrullis，J.、Grabmayer，C.、Hendriks，D.、Klop，J.W.和van Oostrom，V.，无限弱正交重写中的唯一正规形式。 收录于：莱布尼茨国际信息学学报，第6卷。 达格斯图尔宫。 第85-102页。 谷歌学者 [18] J.Endrullis，C.Grabmayer，R.C.de Vrijer，两种版本SN∞（w-SN∞和s-SN∞）的等效性，2008年。 谷歌学者 [19] Endrullis，J.和Hendriks，D.，《通过终止实现懒惰生产力》。 理论计算机科学。 v412 i28。 3203-3225. 谷歌学者 [20] Endrullis，J.、Hendriks，D.和Klop，J.W.，不动点组合子和时钟Böhm树的模块化构造。 In：程序。 交响乐团。 《计算机科学中的逻辑》（LICS~2010），IEEE计算机学会。 第111-119页。 谷歌学者 [21] Intrigila，B.，Non-existent statman的双不动点组合子确实不存在。 信息和计算。 v137 i1。 35-40. 谷歌学者 [22] Kahrs，S.，《无限改写：重新审视基础》。 收录于：莱布尼茨国际信息学会议录，第6卷。 达格斯图尔宫。 第161-176页。 谷歌学者 [23] J.R.Kennawy，J.W.Klop，M.R.Sleep，F.-J.de Vries，非折叠正交项重写系统的无穷Church？Rosser性质，技术报告CS-R9043，CWI，1990年。 谷歌学者 [24] Kennaway，J.R.，Klop，J.W.，Sleep，M.R.和de ~ Vries，F.-J.，正交项重写系统中的超有限约化。 收录于：计算机科学课堂讲稿，第488卷。 斯普林格。 第1-12页。 谷歌学者 数字图书馆 [25] Kennaway，J.R.，Klop，J.W.，Sleep，M.R.和de ~ Vries，F.-J.，术语图重写对模拟术语重写的充分性。 ACM托普拉斯。 v16.493-523。 谷歌学者 [26] Kennaway，J.R.，Klop，J.W.，Sleep，M.R.和de~Vries，F.-J.，正交项重写系统中的无限约简。 信息和计算。 v119 i1。 18-38. 谷歌学者 [27] Kennaway，J.R.，Klop，J.W.，Sleep，M.R.和de ~ Vries，F.-J.，《无限lambda微积分》。 理论计算机科学。 v175 i1。 93-125. 谷歌学者 [28] Kennaway，J.R.，van Oostrom，V.和de Vries，F.-J.，重写中的无意义术语。 功能与逻辑编程杂志。 第1版。 谷歌学者 [29] Ketema，J.，《关于无穷组合约简系统的正规化》。 收录于：计算机科学课堂讲稿，第5117卷。 施普林格。 第172-186页。 谷歌学者 数字图书馆 [30] Ketema，J.，《比较类Böhm树》。 收录于：计算机科学课堂讲稿，第5595卷。 斯普林格。 第239-254页。 谷歌学者 数字图书馆 [31] Ketema，J.，在无限重写中重新解释压缩。 收录于：LIPIcs，第15卷。 达格斯图尔宫。 第209-224页。 谷歌学者 [32] Ketema，J.和Simonsen，J.G.，《无限组合约简系统》。 收录于：《计算机科学讲义》，第3467卷。 斯普林格。 第438-452页。 谷歌学者 [33] Ketema，J.和Simonsen，J.G.，《无限组合约简系统：汇流》。 计算机科学中的逻辑方法。 第5版i4。 1-29. 谷歌学者 [34] Ketema，J.和Simonsen，J.G.，《无限组合约简系统：归一化约简策略》。 计算机科学中的逻辑方法。 第6版i1:7。 1-35. 谷歌学者 [35] Ketema，J.和Simonsen，J.G.，《无限组合约简系统》。 信息和计算。 v209 i6。 893-926. 谷歌学者 [36] 克洛普，J.W。 收录于：《数学中心丛书》，第127卷。 数学中心。 谷歌学者 [37] Klop，J.W.，术语重写系统。 收录：《计算机科学逻辑手册》，第二卷，牛津大学出版社。 第1-116页。 谷歌学者 [38] Klop，J.W.和de ~ Vrijer，R.C.，《无限正规化》。 收录：我们将展示：Dov Gabbay的论文（2），学院出版物。 第169-192页。 谷歌学者 [39] Klop，J.W.，van Oostrom，V.和van Raamsdonk，F.，还原策略和非循环性。 收录于：计算机科学课堂讲稿，第4600卷。 第89-112页。 谷歌学者 [40] Kurz，A.，Petrisan，D.，Severi，P.和de~Vries，F.-J.，无穷lambda演算的字母-递归原理。 在：过程。 第11届计算机科学中的同胚方法国际研讨会，斯普林格。 谷歌学者 [41] Lercher，B.，Lambda-calculus术语，简化为它们自己。 《圣母院形式逻辑杂志》。 第17版i2。 291-292. 谷歌学者 [42] Lévy，J.-J.，《K演算的代数解释和标记？演算的应用》。 理论计算机科学。 第2版i1。 97-114. 谷歌学者 [43] Longo，G.，《微积分的集合理论模型：理论，展开，同构》。 纯粹逻辑与应用逻辑年鉴。 第24版i2。 153-188. 谷歌学者 [44] Middeldorp，A.，按需计算根稳定形式。In：Proc。 交响乐团。 《程序设计语言原理》（POPL~1997），ACM。 第94-105页。 谷歌学者 [45] C.-H.L.Ong，《懒惰的lambda演算：函数编程基础的研究》，剑桥大学博士论文，1992年。 谷歌学者 [46] A.Polonsky，J.Endrulis，无限lambda微积分中归约1-圈的表征，2012年，提交出版。 谷歌学者 [47] 斯科特，D.S.，关于组合子理论的一些哲学问题。 收录于：《计算机科学讲义》，第37卷。 第346-366页。 谷歌学者 [48] P.Severi，F.-J.de Vries，D∞的λ演算，技术报告，莱斯特大学，2002年。 谷歌学者 [49] Severi，P.和de~Vries，F.-J.，一个扩展的Böhm模型。 收录于：LNCS，第2378卷。 施普林格。 第159-173页。 谷歌学者 数字图书馆 [50] Severi，P.和de~Vries，F.-J.，类Böhm模型的序结构。 收录于：LNCS，第3634卷。 斯普林格。 谷歌学者 [51] Severi，P.和de~Vries，F.-J.，分解无穷lambda演算中无意义集的格。 收录于：计算机科学课堂讲稿，第6642卷。 斯普林格。 第210-227页。 谷歌学者 数字图书馆 [52] Severi，P.和de ~ Vries，F.-J.，弱化无穷lambda演算中的重叠公理。 摘自：《莱布尼茨国际信息学论文集》，第10卷。 达格斯图尔宫。 第313-328页。 谷歌学者 [53] Severi，P.和de~Vries，F.-J.，无限组合逻辑中的无意义集。 收录于：LIPics，第15卷。 达格斯图尔宫。 第288-304页。 谷歌学者 [54] Simonsen，J.G.，《关于柯西收敛超限重写中的合流和残差》。 信息处理信函。 v91 i3。 141-146. 谷歌学者 [55] Simonsen，J.G.，无限重写中的弱收敛和一致规范化。 收录于：莱布尼茨国际信息学会议录，第6卷。 达格斯图尔宫。 第311-324页。 谷歌学者 [56] 摘自：Sleep，M.R.，Plasmeijer，M.J.，van Eekelen，M.C.J.D.（编辑），术语图改写：理论与实践，John Wiley。 谷歌学者 [57] Smullyan，R.，《模仿知更鸟和其他逻辑难题》。 1985年，阿尔弗雷德·克诺普夫（Alfred A.Knopf），纽约。 谷歌学者 [58] 特蕾丝。 收录：《剑桥理论计算机科学丛书》，第55卷。 剑桥大学出版社。 谷歌学者 [59] de Vries，F.-J.，Böhm树，λ演算中的互模拟和观测。 In：程序。 第二届富士国际功能和逻辑编程研讨会，世界科学。 第230-245页。 谷歌学者 [60] de Vrijer，R.C.，条件线性化。 Indagationes Mathematicae公司。 v10 i1。 145-159. 谷歌学者 [61] Waldmann，J.，《组合子S.信息与计算》。 v159 i1-2。 2-21. 谷歌学者 [62] Zantema，H.，无限项的规范化。 在：《计算机科学讲义》，第5117卷。 第441-455页。 谷歌学者 [63] Zantema，H.和Raffelsieper，M.，《通过最外层端接的河流生产力》。 收录于：《理论计算机科学电子论文集》，第15卷。 第83-95页。 谷歌学者 [64] Zantema，H.和Raffelsieper，M.，证明无限数据结构中的生产力。 收录于：莱布尼茨国际信息学会议录，第6卷。 达格斯图尔宫。 第401-416页。 谷歌学者
建议
线性视角下的无限Lambda演算 LICS’16：第31届ACM/IEEE计算机科学逻辑年会论文集 我们引入了一种线性无穷λ-演算，称之为У∧∞，其中有两种指数形式可用，第一种是通常的有限形式，另一种是唯一可同时解释的结构。 得到的微积分嵌入了。。。
