generated at
SKI combinator calculus
SKIコンビネータ計算
Combinatory logic
B, C, K, W system
Fixed point combinator
Lambda calculus
Functional programming
Unlambda programming language
The Iota and Jot programming languages, designed to be even simpler than SKI.
To Mock a Mockingbird

googleSKI combinator calculus
image SKI combinator calculus
define SKI combinator calculus
wikipedia SKI combinator calculus
weblio SKI combinator calculus
kotobank SKI combinator calculus
jisho SKI combinator calculus