1920年12月，M.Schönfinkel在给哥廷根数学学会的一份报告中提出了一种基于广义逻辑概念的新型形式逻辑参数也是函数的函数（Schönfinkel 1924）。这个数学纪律后来被称为组合逻辑由Curry和“
-转换”或“
-微积分“通过教堂。组合子可以用于代数、拓扑和范畴的研究理论，并在算法语言程序的研究中找到了应用。
另请参见
教会数字,组合逻辑,兰姆达微积分
与Wolfram一起探索| Alpha
工具书类
巴伦德雷格特，H.P。Lambda微积分。荷兰阿姆斯特丹：北荷兰，1981年。咖喱，H.B.公司。基础数学逻辑。纽约：多佛，第118-119页，1977年。咖喱，H.和Feys，R。组合逻辑，第1卷。荷兰阿姆斯特丹：北荷兰，1958年。辛德利，J.R。；Lercher，B。；塞尔丁，J.P。介绍组合逻辑。伦敦：剑桥大学出版社，1972年。辛德利，J.R.公司。和J.P.塞尔丁。介绍至组合器和λ-微积分。英国剑桥：剑桥大学出版社，1986年。M.R.霍姆斯。“组合系统与奎因的《新基础》相关的逻辑"年鉴-纯应用。逻辑 53,103-133, 1991.W.V.奎因。“数学的新基础逻辑。"阿默尔。数学。每月 44, 70-80, 1937.雷夫塞兹，通用电气公司。λ-微积分，组合器和函数编程。英国剑桥：剑桥大学出版社，1988年。塞尔丁，J.P。和辛德利，J.R。（编辑）。收件人H.B.公司。库里：关于组合逻辑、Lambda微积分和形式主义的论文。纽约：学术出版社，1980年。R.斯穆利扬。收件人模仿知更鸟和其他逻辑难题：包括组合中的一次惊人冒险逻辑。纽约：Knopf，1985年。Statman，R.“单词问题因为Smullyan的云雀组合器是可决定的。"J.塞姆。计算。 7,103-112, 1989.Schönfinkel，M.“Buusteine der”数学逻辑。"数学。安。 92, 305-316, 1924.施恩芬克尔，M.“逻辑数学建模研究”数学。通知。科学。胡曼人第112、5-26和59号，1990年。[法语翻译带注释。]沃尔夫拉姆，S。A类新型科学。伊利诺伊州香槟市：Wolfram Media，pp711-714和1121-1123,2002Wolfram，S.“组合者：百年观”，12月6日，2020https://writies.stephenwolfram.com/2020/12/combinators-a-centenial-view/。沃尔夫拉姆，美国。组合者：百年观。伊利诺伊州香槟市：Wolfram Media，2021年。引用的关于Wolfram | Alpha
组合器
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“Combinator”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Combinator.html
主题分类
