Full threadastrobase_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.pdfView on HN