。Curry和Feys (1958)和Curry等人（1972） 纵览了组合子逻辑的早期历史。组合子逻辑和lambda演算的更现代的平行处置参见Barendregt（1984），他还评论了Dana Scott在1960年代和1970年代为组合子逻辑设计的模型。
计算中的组合子逻辑.在计算机科学中，组合子逻辑被用做可计算性理论中计算和证明论的简化模型。这个理论尽管简单，但捕获了计算本质的很多根本特征。组合子逻辑可以被看作是lambda演算的变体，它把lambda表达式（用来允许函