摘要
Abadi，M.、Cardelli，L.、Curien，P.L.和Lévy，J.J.：“显式替换”。 程序。 第n届POPL大会 1990年，旧金山。 谷歌学者 
数字图书馆 
Adachi，T.：“lambda微积分模型的分类表征”，研究报告C-49号，东京理工大学信息科学系，1983年。 谷歌学者 巴伦德雷格特，H.P.： lambda演算。 它的语法和语义 ，修订版，《逻辑研究与数学基础》，第103卷，阿姆斯特丹：北霍兰德出版公司，1985年。 谷歌学者 Barendregt，H.P.和Koymans，K.：“比较一些lambda微积分模型类别”。 J.R.Hindley和J.P.Seldin（编辑）， H.B.Curry：关于组合逻辑、Lambda微积分和形式主义的论文 《纽约学术出版社》，1980年，第287-302页。 谷歌学者 Church，A.：“逻辑基础的一套假设”， 数学年鉴。 , 2 , 1933, 346-366. 谷歌学者 丘奇，A.： λ转换的计算 普林斯顿：普林斯顿大学出版社，1941年。 谷歌学者 居里，P.L.： 分类组合子、序列算法和函数编程 皮特曼，1986年。 谷歌学者 Curry，H.B.和Feys，R.： 组合逻辑，第一卷 ，阿姆斯特丹：North-Holland Publishing Co.，1958年。 谷歌学者 Diskin，Z.B.：“Lambda术语系统”框架信息。 拉脱维亚大学系统预印本。 谷歌学者 Diskin，Z.B.和Beylin，I.：“Lambda置换代数”。 A.M.Borzyszkowski和S.Sokolovski（编辑）， 程序。 第十八届计算机科学数学基础国际研讨会 《计算机科学讲义》第711期，柏林：Springer-Verlag出版社，1993年，第423-432页。 谷歌学者 Feldman，N.：“多项式代换代数的公理化”， J.符号逻辑 , 47 , 1982, 481-492. 谷歌学者 交叉引用 
Feldman，N.：“代换代数的表示”（摘要）， J.符号逻辑 , 49 , 1984, 677-678. 谷歌学者 Goldblatt，R.：“函数lambda抽象代数形成了一个变体”。 D.S.Bridges、C.S.Calude、J.Gibbons、S.Reeves和I.Witten（编辑）， DMTCS’96，离散数学和理论计算机科学中心第一届会议 《奥克兰大学和怀卡托大学》（Universities of Auckland and Waikato，Springer-Verlag，Singapore），1996年。 谷歌学者 Goldblatt，R.：“lambda演算中函数代数的扩充”，研究报告96-187，惠灵顿维多利亚大学数学系，1996年，理论。 公司。 科学。， 出现。 谷歌学者 Grätzer，G.： 泛代数 第二版，纽约：Springer-Verlag出版社，1979年。 谷歌学者 Halmos，P.：“无限度的齐次局部有限多元布尔代数”， 基金。 数学。 , 43 , 1956, 255-325. 谷歌学者 哈尔莫斯，P.： 代数逻辑 ，纽约：Chelsea Publishing Co.，1962年。 谷歌学者 Henkin，L.、Monk，J.D.和Tarski，A.： 柱代数，第一部分和第二部分 《阿姆斯特丹：North-Holland Publishing Co》，1971年，1985年。 谷歌学者 Henkin，L.、Monk，J.D.、Tarski，A.、Andréka，H.和Németi，I.： 圆柱集代数 《数学课堂讲稿》，第883期，柏林：施普林格-弗拉格出版社，1981年。 谷歌学者 Hindley，R.和Longo，G.：“Lambda-calculus模型和扩展性”， 宙特。 f.数学。 Logik u.Grund公司。 数学博士。 , 26 , 1980, 289-310. 谷歌学者 交叉引用 Krivine，J.L.： Lambda-Calcul，类型和型号 巴黎：马森出版社，1990年。 谷歌学者 LeBlanc，L.：“变换代数”， 加拿大。 数学杂志。 , 13 , 1961, 602-613. 谷歌学者 交叉引用 Meyer，A.R.：“lambda微积分的模型是什么？”， 通知。 控制 , 52 , 1982, 87-122. 谷歌学者 交叉引用 Németi，I.：“量词逻辑的代数化。介绍性概述”， Studia Logica公司 , 50 , 1991, 485-569. （扩展版，布达佩斯数学研究所，1996年预印本，86页）。 谷歌学者 交叉引用 Németi，I.：“fork代数的强表示性，集合论基础”，J.IGPL。 出现。 （匈牙利数学研究所，科学院，1996年。 预打印）。 谷歌学者 Németi，I.：“本体可以将消极结果转化为积极结果”， 牛市。 第节。 逻辑 , 25 , 1996, 29-40. 谷歌学者 Németi，I.和Simon，A.：“弱高阶圆柱代数和可表示的有限模式公理化”，数学。 Inst.Hungar公司。 阿卡德。 科学。， 1995年预印本。 谷歌学者 Obtu？owicz，A.和Wiweger，A.：“无类型lambda演算的范畴、函数和代数方面”。 T.Traczyk（编辑）， 泛代数及其应用 ，巴纳赫中心出版物，第9卷，PWD-波兰科学出版社。， 华沙，1982年。 谷歌学者 Pigozzi，D.和Salibra，A.：“lambda抽象代数简介”。 M.Abad（编辑）， 程序。 拉丁美洲数学逻辑研讨会（上） 阿根廷巴伊亚·布兰卡，UNMABBCONICET，1993年，93-113。 ( Notas de Logica Matematica，第38号 ，南国家大学，巴伊亚布兰卡，阿根廷）。 谷歌学者 Pigozzi，D.和Salibra，A.：“维补lambda抽象代数”。 M.Nivat、C.Rattray、T.Rus和G.Scollo（编辑）， 代数方法论与软件技术（AMAST’93）（第三届代数方法论和软件技术国际会议论文集） 荷兰特温特大学，1993年6月21日至25日，131-138。 （计算机研讨会，Springer-Verlag，伦敦，1993年）。 谷歌学者 Pigozzi，D.和Salibra，A.：“lambda抽象代数的表示定理”。 A.M.Borzyszkowski和S.Sokolowski（编辑）， 程序。 第十八届计算机科学数学基础国际研讨会 , 1993, 629-639. （《计算机科学讲义》，第711期，柏林施普林格-弗拉格）。 谷歌学者 Pigozzi，D.和Salibra，A.：“Lambda抽象代数：表示定理”， 理论。 公司。 科学 , 140 , 1995, 5-52. 谷歌学者 数字图书馆 Pigozzi，D.和Salibra，A.：“抽象变量绑定微积分”， Studia Logica公司 , 55 , 1995, 129-179. 谷歌学者 交叉引用 Pinter，C：“柱代数和代换代数”， 事务处理。 阿默尔。 数学。 Soc公司 , 175 , 1973, 167-179. 谷歌学者 交叉引用 Sain，I.：“关于一阶逻辑及其代数对应物的有限化问题。（结果和方法综述。）”。 L.Csirmaz、D.M.Gabbay和M.de Rijke（编辑）， 1992年逻辑学术讨论会 CSLI出版社，斯坦福，1995年。 谷歌学者 Sain，I.：“关于搜索一阶逻辑的有限代数化（缩写版a）”， 数学。 Inst.Hungar公司。 阿卡德。 科学 , 1988. （预打印。） 谷歌学者 Sain，I.和Gyuris，V.：“有限图式代数逻辑”， 数学。 Inst.Hungar公司。 阿卡德。 科学。 , 1995. （预印）（出现在J.IGPL中）。 谷歌学者 Salibra，A.：“带量词的代数的一般理论”。 H.Andréka、J.D.Monk和I.Németi（编辑）， 代数逻辑 （1988年布达佩斯会议记录），《数学讨论》。 Soc.J.Bolyai，第54卷，北霍兰德出版公司，阿姆斯特丹，1991年，573-620。 谷歌学者 Salibra，A.：“关于lambda演算的代数模型”，研究报告97-210，惠灵顿维多利亚大学数学系，1997年。 谷歌学者 Salibra，A.和Goldblatt，R.：“lambda演算的函数代数的有限等式公理化”，研究报告CS96-2，威尼斯福斯卡里大学，1996年。 谷歌学者 Selinger，P.：“lambda演算是代数的”，版本1.2-1996年4月8日，研究报告，宾夕法尼亚大学，1996年。 谷歌学者 Scott，D.S.：“数据类型作为格”， SIAM J.计算 , 5 , 1976, 522-587. 谷歌学者 数字图书馆 Scott，D.S.：“兰姆达微积分：一些模型，一些哲学”。 J.Barwise、H.J.Keisler和K.Kunen（编辑）， 克莱恩研讨会 《逻辑研究》，第101期，北霍兰德出版公司，阿姆斯特丹，1980年。 谷歌学者 交叉引用
建议
Lambda抽象代数：Lambda微积分的协调模型 Lambda抽象代数被设计用于代数化非类型Lambda演算，方法与柱代数和多代数代数化一阶逻辑相同； 在这方面，它们旨在作为组合代数的替代方案。 比如。。。
