はなぜ

Question

私はラムダ式以下のいるラムダでは無料のxです：

x λ x. x 

これは、関数適用であるが、なぜxは自由変数がありますか？

Answer 1

xはラムダでは無料ではありませんが、ラムダの外側では自由です。それとも、もっと単純に、

x (\y. y) 

xに無料ですが、yではありません。変数は、それらを束縛するラムダを囲んでいないときだけ自由です。 xを囲むラムダは全くないので、xを囲んでいるラムダは、確かにxをバインドしません。