摘要
亨克·巴伦德雷格特。 1984年，《Lambda-Calculus，其语法和语义》（第二版）。 爱思唯尔科学出版社（荷兰北部），阿姆斯特丹。 谷歌学者 
马西耶·本德考斯基（Maciej Bendkowski）、卡塔兹娜·格里吉尔（Katarzyna Grygiel）、皮埃尔·莱斯卡内（Pierre Lescanne）和马雷克·扎昂克（Marek Zaionc）。 2016.λ-项组合：一种自然方法。 CoRR abs/1609.07593（2016）。 http://arxiv.org/abs/1609.07593 谷歌学者 马西耶·本德考斯基（Maciej Bendkowski）、卡塔兹娜·格里吉尔（Katarzyna Grygiel）、皮埃尔·莱斯卡内（Pierre Lescanne）和马雷克·扎昂克（Marek Zaionc）。 2016年，lambda术语的自然计数。 2016年1月23日至28日在捷克共和国哈拉乔夫举行的第42届计算机科学理论与实践当前趋势国际会议《SOFSEM 2016：计算机科学的理论与实践》，会议记录（计算机科学讲稿），第9587卷，编辑：Rusins Martins Freivalds、Gregor Engels和Barbara Catania。 斯普林格，183-194。 谷歌学者 数字图书馆 
马西耶·本德考斯基（Maciej Bendkowski）、卡塔兹娜·格里吉尔（Katarzyna Grygiel）和保罗·塔劳（Paul Tarau）。 2017.封闭简单类型lambda项的玻尔兹曼采样器。 《声明语言的实践方面——第19届国际研讨会》，2017年1月16日至17日，法国巴黎，2017年PADL，《计算机科学论文集》，第10137卷，尤利亚·列勒和瓦利德·塔哈编辑。 施普林格，120-135。 谷歌学者 奥利维尔·博迪尼（Olivier Bodini）、丹尼尔·加迪（Danièle Gardy）和伯恩哈德·吉滕贝格（Bernhard Gittenberger）。 2011.有界一元高度的Lambda项。 第八届分析算法与组合数学研讨会论文集。 23--32. http://www.siam.org/procesedings/analco/2011/anl11_03_bodinio.pdf。 谷歌学者 数字图书馆 奥利维尔·博迪尼（Olivier Bodini）、丹尼尔·加迪（Danièle Gardy）、伯恩哈德·吉滕贝格（Bernhard Gittenberger）和爱丽丝·雅克（Alice Jacquot）。 2013.广义脑机接口lambda项的枚举。 选举人。 J.库姆。 20，4（2013），第30页。 http://www.combinatics.org/ojs/index.php/eljc/article/view/v20i4p30。 谷歌学者 交叉引用 
奥利维尔·博迪尼（Olivier Bodini）、丹尼尔·加迪（Danièle Gardy）和爱丽丝·雅克（Alice Jacquot）。 2013年BCI和BCKλ项的渐近和随机抽样。 西奥。 计算。 科学。 502 (2013), 227--238. 谷歌学者 数字图书馆 奥利维尔·博迪尼（Olivier Bodini）、伯恩哈德·吉滕贝格（Bernhard Gittenberger）和兹比格尼夫·戈·比夫斯基（Zbigniew Gołȩ）。 2017.通过de Bruijn表示的加权长度枚举lambda术语。 CoRR（2017）。 谷歌学者 阿隆佐教堂。 1940.简单类型理论的表述。 J.塞姆。 日志。 5 (1940), 56--68. 谷歌学者 交叉引用 托马斯·科尔曼（Thomas H.Cormen）、查尔斯·雷瑟森（Charles E.Leiserson）、罗纳德·里维斯特（Ronald L.Rivest）和克利福德·斯坦（Clifford Stein）。 2009年，算法导论（第三版）。 麻省理工学院出版社。 谷歌学者 数字图书馆 RenéDavid、Christophe Raffalli、Guillaume Theyssier、Katarzyna Grygiel、Jakub Kozik和Marek Zaionc。 随机lambda项的一些性质。 日志。 方法计算。 科学。 9, 1 (2009). 谷歌学者 尼古拉·德布鲁因。 1972年。带有无名假人的Lambda演算，一种用于自动公式操作的工具，应用于Church-Rosser定理。 程序。 科宁克尔。 Nederl.Akademie van Wetenschappen阿卡德米·范·韦滕斯查彭75、5（1972）、381-392。 谷歌学者 交叉引用 菲利普·弗拉乔莱和罗伯特·塞奇威克。 2008年，分析组合数学。 剑桥大学出版社。 谷歌学者 数字图书馆 伯恩哈德·吉滕贝格和兹比格尼乌·戈·比夫斯基。 2016年，关于lambda术语的数量及其de Bruijn表示的规定大小。 2016年2月17日至20日，第33届计算机科学理论研讨会，STACS 2016，法国奥尔良（LIPIcs），第47卷，尼古拉斯·奥林格（Nicolas Ollinger）和赫里伯特·沃尔默（Heribert Vollmer）编辑。 达格斯图尔·莱布尼兹·泽特鲁姆·福尔·Informatik宫（Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），40:1--40:13。 谷歌学者 Katarzyna Grygiel、Pawel M.Idziak和Marek Zaionc。 2013年。BCK逻辑的BCI片段有多大。 J.日志。 计算。 23, 3 (2013), 673--691. 谷歌学者 数字图书馆 Katarzyna Grygiel和Pierre Lescanne。 2013.计算和生成lambda项。 J.功能。 程序。 23, 5 (2013), 594--628. 谷歌学者 交叉引用 Katarzyna Grygiel和Pierre Lescanne。 2015.计算并生成二进制lambda演算中的项。 J.功能。 程序。 25 (2015). 谷歌学者 J.罗杰·辛德利。 1989年。BCK-组合器和线性λ-项有类型。 西奥。 计算。 科学。 64, 1 (1989), 97--105. 谷歌学者 数字图书馆 J.罗杰·辛德利。 1997年，《简单类型基本理论》，第42卷：剑桥理论计算机科学导论。 剑桥大学出版社。 谷歌学者 数字图书馆 Zofia Kostrzycka和Marek Zaionc。 2004.直觉逻辑与经典逻辑的统计。 螺柱日志。 76, 3 (2004), 307--328. 谷歌学者 交叉引用 皮埃尔·莱斯坎。 2013年。关于计算非类型lambda术语。 西奥。 计算。 科学。 474 (2013), 80--97. 谷歌学者 数字图书馆 皮埃尔·莱斯坎。 2014.随机生成lambda项的Boltzmann采样器。 CoRR abs/1404.3875（2014）。 http://arxiv.org/abs/1404.3875 谷歌学者 约翰·特隆普。 2006.二进制lambda演算和组合逻辑。 《科尔莫戈洛夫复杂性与应用》（达格斯图尔研讨会论文集），第06051卷，马库斯·赫特（Marcus Hutter）、沃尔夫冈·默克尔（Wolfgang Merkle）和保罗·M.B.维坦伊（Paul M.B.Vitányi）主编。 Internationales Begegnungs-und Forschungszentrum fuer Informatik（IBFI），德国达格斯图尔宫。 谷歌学者 马雷克·扎昂克。 关于蕴涵与否定逻辑中重言式的渐近密度。 代表数学。 日志。 39 (2005), 67--87. http://www.iphils.uj.edu.pl/rml/rml-39/a-zai-39.htm。 谷歌学者 马雷克·扎昂克。 2006.简单重言式的概率分布。 西奥。 计算。 科学。 355, 2 (2006), 243--260. 谷歌学者 数字图书馆 诺姆·齐尔伯格（Noam Zeilberger）。 2015.计算β-正规线性λ项的同构类。 ArXiv abs/1509.07596（2015）。 http://arxiv.org/abs/1509.07596。 谷歌学者 诺姆·齐尔伯格（Noam Zeilberger）。 2016.线性λ项作为根三价映射的不变量。 J.功能。 程序。 26（2016），e21。 谷歌学者 交叉引用 诺姆·泽尔伯格和阿兰·乔尔盖蒂。 2015.有根平面映射和法向平面lambda项之间的对应关系。 日志。 方法计算。 科学。 11, 3 (2015). 谷歌学者
建议
具有非线性一级延拓的线性lambda演算 ICSCA’17：第六届软件与计算机应用国际会议论文集 Curry-Howard同构是命题与类型、证明与lambda-terms、证明规范化与评价之间的对应。 在Curry-Howard同构中，我们在纯泛函中发现了值和延续之间的二重性。。。 线性视角下的无限Lambda演算 LICS’16：第31届ACM/IEEE计算机科学逻辑年会论文集 我们引入了一个线性无穷λ-演算，称为 ℓ ∧∞，其中有两种指数形式可用，第一种是通常的有限形式，另一种是唯一共同解释的结构。 得到的微积分嵌入了。。。
