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

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 http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf