Lambda Calculus

One of the most minimal Turing-complete languages, lambda calculus is a tiny programming language in which the only objects are...