(a.(b.c.b))and(a.b.c.b)I was wondering if someone could explain, using mostly English, what that lambda-calculus expression is supposed to mean, and whether there is any difference between the two given above.
Lambda Calculus - are these two expressions equivalent?
lambda calculus