2025年2月5日
λ-calculus的归约
摘要： \(\newcommand{\l}{\lambda}\)在之前的讨论中，我们用等号\(=\)表示“可以演算得到”，并且规定等号具有自反、对称、传递的基本性质。这就意味着，我们不仅可以说\((\l x.xx)N\)能演算得到\(NN\)，根据对称性也可以说\(NN\)能演算得到\((\l x.xx)N 阅读全文
posted @ 2025-02-05 01:55 行而上 阅读(81) 评论(0) 推荐(0)