views:

1521

answers:

6

So the Wikipedia entry on Lambda Calculus was interesting but I've finished it. I wish to dive a little deeper and get a better understanding of Lambda Calculus.

Can anyone recommend what they consider to be the best book or primer to Lambda Calculus?

+8  A: 

If you are done with the Wikipedia entry, follow its link to the online Structure and Interpretation of Computer Programs, do the assignments, or read the book.

alt text

gimel
+1 This is a classic resource. It was the coursebook for my uni's first programming course.
Mark Pim
ditto. although it's more about practicalness, not about the formal-ness of lambda calculus itself.
Jason S
+1 Reading now...instead of 6-7 years ago... Rocks a developer's/coder's/programmer's world.
Aggelos Mpimpoudis
+1  A: 
Spedge
+3  A: 

Well, there's always An Introduction to Lambda Calculus. I've tried reading it a few times, but always got stuck. I have a nagging feeling that I already know most of this stuff and would probably have an easier time understanding it if it was presented in terms of Lisp/Scheme rather than math. You might have better luck, though :)

fred-o
+2  A: 
Axelle Ziegler
+1  A: 

Try writing a lambda calculus interpetter, ideally in a functional language using the build in syntax of the language rather than via a parser. This is surprisingly easy and a good way to improve your feel for it.

Brian
A: 

I totally agree with Brian. I built an interpreter based on the SECD machine as an undergrad project (I have it online, in fact. If you'd like to see it, email me.). By the time I was done I was reading lambda calc like it was forth grade arithmetic. I would suggest Field and Harrison's book "Functional Programming." It thoroughly covers the basics, particularly as it pertains to functional programming.

c_d