combinatory logic

Short definition from Wiktionary

Noun

Model of computation based on combinators.

We haven’t written up combinatory logic yet: Simple and Standard meanings, examples and a quiz.