What are some resources for learning Lambda Calculus?

Posted by Simucal on Stack Overflow See other posts from Stack Overflow or by Simucal
Published on 2009-02-05T10:54:21Z Indexed on 2010/03/15 5:09 UTC
Read the original article Hit count: 447

Filed under:

lambda-calculus

|

beginner

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?

© Stack Overflow or respective owner

Related posts about lambda-calculus

What are some resources for learning Lambda Calculus?

as seen on Stack Overflow - Search for 'Stack Overflow'
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? >>> More
Query on Booleans in Lambda Calculus

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi All, I have following query on lambda calculus which am not able to understand: Here is the lambda calculus representation for the AND operator: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b Can anyone help me in understanding this representation? Regards, darkie >>> More
Query on Booleans in Lambda Calculus

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi All, I have following query on lambda calculus which am not able to understand: Here is the lambda calculus representation for the AND operator: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b Can anyone help me in understanding this representation? Regards, darkie >>> More
Convert Python to Haskell / Lambda calculus

as seen on Stack Overflow - Search for 'Stack Overflow'
What is the Python code in Haskell and Lambda calculus? def f1(): x = 77 def f2(): print x f2 f1 My attempt in lambda calculus \x. 77 (\x.x) >>> More
How helpful is knowing lambda calculus?

as seen on Stack Overflow - Search for 'Stack Overflow'
To all the people who know lambda calculus: What benefit has it bought you, regarding programming? Would you recommend that people learn it? >>> More

Related posts about beginner

assembly registers beginner

as seen on Stack Overflow - Search for 'Stack Overflow'
So I've been getting into a bit of assembly lately and I'm a beginner so i was wondering if someone could clarify something. I take it every process has it's own set of registers, and each thread can modify these registers right?. How then do multiple threads use the same registers without causing… >>> More
Beginner learning assembly preserving esp after function calls

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a beginner learning some assembly, when preserving the ESP register before a function call does it matter if you do it by adding or subtracting? hard to explain, consider the following mov esi, esp sub esp, 12 // on 32bit OS this would mean that there are 3 arguments to the function // push,… >>> More
I am a beginner to C and this is the dumbest question..Confused about getchar() function

as seen on Stack Overflow - Search for 'Stack Overflow'
Sorry if I am not supposed to post beginner level questions here..I am new to this site Please read the code below first I am confused about getchar() 's role in the following code.. I mean I know its helping me see the output window which will only be closed when I press enter key So getchar()… >>> More
Top 10 Reasons SQL Developer is Perfect for Oracle Beginners

as seen on Oracle Blogs - Search for 'Oracle Blogs'
Learning new technologies can be daunting. If you’ve never used a Mac before, you’ll probably be a bit baffled at first. But, you’re probably at least coming from a desktop computing background (Windows), so you common frame of reference. But what if you’re just now learning… >>> More
Would you recommend Head First Programming for someone new?

as seen on Programmers - Search for 'Programmers'
My brother is just starting out college. He's studying the same thing I am here in Bolivia; Systems Engineer which is the equivalent of what a CS degree is in the US. Being his big brother and a programmer myself I really want to guide him and give him the right material to learn and become good… >>> More