Add link to The Lambda Calculus @ Stanford Encyclopedia of Philosophy.