史。组合子逻辑和lambda演算的更现代的平行处置参见Barendregt（1984），他还评论了Dana Scott在1960年代和1970年代为组合子逻辑设计的模型。
计算中的组合子逻辑.在计算机科学中，组合子逻辑被用做可计算性理论中计算和证明论的简化模型。这个理论尽管简单，但捕获了计算本质的很多根本特征。组合子逻辑可以被看作是lambda演算的变体，它把lambda表达式（用来允许函数抽象）替代为组合子的有限集合，它们是不包含自由变量的原始函数。很容易把lambda表达式