The Lambda Calculus – Stanford Encyclopedia of Philosophy