标签： lambda lambda-calculus
\x->y alpha是否等同于\y->y？请帮助我真的很困惑。
\x->y
\y->y
答案 0 :(得分：2)
不，它们不是alpha等效
λx.y有一个自由变量y和一个绑定变量x - 这是常量 y
λx.y
y
x
λy.y有没有自由变量和一个绑定变量y - 这也称为身份函数
λy.y