lambda演算入门

【文件属性】：

文件名称：lambda演算入门

文件大小：333KB

文件格式：PDF

更新时间：2021-04-26 12:24:33

函数式编程 lambda演算 λ

1.所有的变量都是项（名为原子） 2.若和是项，那么()也是项（名为应用） 3.若是项而是一个变量，那么(.)也是项（名为抽象） 1.项中最外层的括号可以省略，