combinatory logic
Noun
Meaning
combinatory logic (uncountable)
(computer science) Model of computation based on combinators.
Examples
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.
In 1927, while an instructor at Princeton University, he discovered the work of Moses Schönfinkel in combinatory logic.