SKI combinator calculus

From Free net encyclopedia