相关疑难解决方法(0)

这是AND运算符的lambda演算表示:

lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b

谁能帮助我理解这种表现形式？