Combinatory-logic Definition

noun

(computer science) Model of computation based on combinators.

Wiktionary