\ x-> y alphaは\ y-> yと同じですか？

Question

\x->yアルファは\y->yに相当しますか？私は本当に混乱して助けてください。

Answer 1

いいえ、彼らは

λx.y同等のアルファは自由変数yとバインドされた変数xを持っていない - これは定数 Y

λy.yが何自由変数と1つのバインドされた変数を持っていないですy - これは、同一性関数とも呼ばれます。