plt

前面提到，对于第三章引入的 untyped lambda calculus，对一个 term 进行求值可能会有 … 阅读更多

在第五章中引入的 untyped pure lambda-calculus 中，所有的变量都有一个符号名称，例 … 阅读更多

本章从零开始，完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规 … 阅读更多

本章给出了一个非常简单的 mini language，其 abstract syntax 如下： 围绕这样一个 … 阅读更多