我理解为什么重命名变量以避免捕获很重要,但是,在下面的示例中,我不明白为什么它没有发生。
(λf.λx.f(fx))(λf.λx.fx)
显然,这会降低到
λx.(λf.λx.fx)((λf.λx.fx)x)
但是x不应该在(λf.λx.f(fx))或(λf.λx.f(fx))中被重命名吗?它们不是指不同的x吗?
x
(λf.λx.f(fx))
https://stackoverflow.com/questions/56133968
相似问题