ラムダ計算の質問 - コンクリート

Question

私は

(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 

を以下している、それはOK最後の変換であり、なぜ私は理解していませんか？ x.(y.y+1)(x+1)= y+1ではありませんか？なぜ彼はy

Answer 1

(y . y + 1)を取り除くことができ、その引数(x + 1)に適用されるので、((x + 1) + 1)を与えることyに置き換えています。

x . (y . y + 1)(x + 1)= y + 1がどのように発生するのかわかりません。 yは、内部関数のスコープ内にのみ存在します。