generated at
combinatory logic
コンビネータ論理
applicative computing systems
B, C, K, W system
categorical abstract machine
Combinatory categorial grammar
explicit substitution
fixed-point combinator
Graph reduction machine
Lambda calculus and Cylindric algebra, other approaches to modelling quantification and eliminating variables
SKI combinator calculus
supercombinator
To Mock a Mockingbird

Combinatory logic - Wikipedia