Query on Booleans in Lambda Calculus
- by darkie15
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