SKI combinator calculus

GPTKB entity