Lambda calculus lambda微积分问题-具体

我有以下几点

(f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x)
= x.(y.y+1)(x+1)
= x.x+1+1

我不明白为什么在最后一次改造时还可以？ 它不应该是

x.（y.y+1）（x+1）=y+1

？为什么他能去掉

y

（y.y+1）

被应用到它的参数

（x+1）

，所以它被

y

替换为

（（x+1）+1）

我不明白你是怎么想出

x的。（y.y+1）（x+1）=y+1

<代码>y仅存在于内部函数的范围内