Я хочу проверить выражение POW: = λbλe. (E) b, подставив 2 и 2:
(λ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)
На данный момент я не знаю, как продолжитьсокращения, как я всегда встречаю бесконечный цикл. Может кто-нибудь показать мне, что я делаю не так?