Noun
combinatory logic (uncountable)
(computer science) Model of computation based on combinators.
In 1970, after finishing the second volume of his treatise on the combinatory logic, Curry retired from the University of Amsterdam and returned to State College, Pennsylvania. Source: Internet
In 1927, while an instructor at Princeton University, he discovered the work of Moses Schönfinkel in combinatory logic. Source: Internet