2018年4月28日
Lambda演算（二）归约！归约！归约！
摘要： （一） 这里先不列出λ项的正式定义，只记住λ表达式语义上的构造方式为： 一个单独的变量名是一个λ项表达式； 该λ表示一个函数。其中 M 是这个函数的函数体，M 本身也是一个 λ项。 除了 x 之外，M 中可能还有其他变量名，λ 这个符号用于指示函数体 M 的参数为 x。 了便于理解，可以将 M 看作 阅读全文
posted @ 2018-04-28 05:41 落叶维扬 阅读(2523) 评论(0) 推荐(3) 编辑