Query on Booleans in Lambda Calculus

Posted by darkie15 on Stack Overflow See other posts from Stack Overflow or by darkie15
Published on 2010-03-07T23:45:46Z Indexed on 2010/03/07 23:53 UTC
Read the original article Hit count: 601

Filed under:

lambda-calculus

|

functional-programming

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

© 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 functional-programming

Introducing functional programming constructs in non-functional programming languages

as seen on Programmers - Search for 'Programmers'
This question has been going through my mind quite a lot lately and since I haven't found a convincing answer to it I would like to know if other users of this site have thought about it as well. In the recent years, even though OOP is still the most popular programming paradigm, functional programming… >>> More
Functional programming constructs in non-functional programming languages

as seen on Programmers - Search for 'Programmers'
This question has been going through my mind quite a lot lately and since I haven't found a convincing answer to it I would like to know if other users of this site have thought about it as well. In the recent years, even though OOP is still the most popular programming paradigm, functional programming… >>> More
Does functional programming mandate new naming conventions?

as seen on Stack Overflow - Search for 'Stack Overflow'
I recently started studying functional programming using Haskell and came upon this article on the official Haskell wiki: How to read Haskell. The article claims that short variable names such as x, xs, and f are fitting for Haskell code, because of conciseness and abstraction. In essence, it claims… >>> More
pitfalls/disadvantages of functional programming

as seen on Stack Overflow - Search for 'Stack Overflow'
When would you NOT want to use functional programming? What is it not so good at? I am more looking for disadvantages of the paradigm as a whole, not things like "not widely used", or "no good debugger available". Those answers may be correct as of now, but they deal with FP being a new concept (an… >>> More
Should functional programming be taught before imperative programming?

as seen on Stack Overflow - Search for 'Stack Overflow'
It seems to me that functional programming is a great thing. It eliminates state and makes it much easier to automatically make code run in parallel. Many programmers who were first taught imperative programming styles find it very difficult to learn functional programming, because it is so different… >>> More