What are some resources for learning Lambda Calculus? [closed]

Answer 1

I recently bought a book from Amazon titled as "An Introduction to Functional Programming Through Lambda Calculus" by Greg Michaelson. It is more of an introduction to functional programming and also introduces lambda calculus. The first impression is quite good. A self contained and easy to read book. Here , you can download free version without index in PostScript.

Answer 2

Here is a nice explanation (using Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

And here's a nifty bit (from my blog), reducing recursive factorial to pure lambdas: http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

Have fun!