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/08 3:36 UTC
Read the original article Hit count: 621

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

Related posts about functional-programming