函数式编程2307/2268280. （原始内容 (PDF)存档于2021-09-24）. Haskell Brooks Curry; Robert Feys（英语：Robert Feys）. Combinatory Logic. North-Holland Publishing Company. 1958 [2022-12-19]
组合子逻辑0年代和1970年代理论计算机科学开始感兴趣于组合子逻辑，关于这个主题的几乎所有工作都是哈斯凯尔·柯里和他的学生们，或比利时的Robert Feys做的。Curry和Feys (1958)和Curry等人（1972） 纵览了组合子逻辑的早期历史。组合子逻辑和lambda演算的更现代的平行处置参见Ba
类型推论进行类型推论的常用算法是 Hindley–Milner 或 Damas–Milner 算法。 这个算法的起源是 Haskell B. Curry 和 Robert Feys 在1958年为简单类型lambda演算设计的类型推论算法。在 1969 年 Roger Hindley 扩展了这项工作并证明他们的算法总能推出最一般的类型。在
哈斯凯尔·柯里logique algébrique. Paris: Gauthier-Villars. 1952 （法语）. Curry, Haskell; Feys, Robert. Combinatory Logic I. Amsterdam: North-Holland Publishing Company. 1958
希尔伯特演绎系统 S与应用的概念。参见Curry-Howard同构。 Máté & Ruzsa 1997:129 Curry, Haskell B.; Feys, Robert. Combinatory Logic Vol. I 1. Amsterdam: North Holland. 1958. Monk, J