[astrobase_go]

While the linked explanation makes obvious parallels between the lambda calculus and other programming languages, I think Rojas is even yet more accessible:

http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf