问什么时候在lambda演算中重命名变量？
EN

Stack Overflow用户

提问于 2019-05-14 23:30:08

回答 1查看 384关注 0票数 2

我理解为什么重命名变量以避免捕获很重要，但是，在下面的示例中，我不明白为什么它没有发生。

(λ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吗？

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/56133968

复制

相似问题

问什么时候在lambda演算中重命名变量？EN