What are some resources for learning Lambda Calculus? [closed]
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?
Solution 1:
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.
Solution 2:
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 :)