标签： lambda-calculus
我想用2和2代替来检查表达式POW：=λbλe。（e）b。
(λbλe.(e)b)(λf1λx1.f1f1x1)(λf2λx2.f2f2x2) (λe.(e)(λf1λx1.f1f1x1))(λf2λx2.f2f2x2) (λf1λx1.f1f1x1)(λf2λx2.f2f2x2) (λx1.(λf2λx2.f2f2x2)(λf2λx2.f2f2x2)x1)
在这一点上，我不知道如何继续减少，因为我总是遇到无限循环。 有人可以告诉我我在做什么错吗？