1

作为 CompSci 学位的一部分，我刚开始学习 Lambda 微积分。在课程材料中（这不是评分作业，不用担心！）出现了以下 beta 减少：

. → .() → .(()) → .((()))

我有点困惑，因为我认为我们不能在 beta 减少步骤中添加一些东西。任何人都可以向我解释一下，或者给我一些提示，说明为什么会这样？任何帮助表示赞赏。谢谢！

4

0 回答 0