Untyped lambda calculus

From Free net encyclopedia