Simply typed lambda calculus

From Free net encyclopedia