2024年1月25日
5-The Untyped Lambda Calculus
摘要： 引入 在 lambda 演算中，所有事物都是函数 lambda 演算式中有三种项： 变量 x，形如 x 函数抽象 abstraction，形如 λx . t1 将项 t1 作用于 t2，形如 t1 t2 有如下的简单的递归定义来总结上述三种项的形式： t ::= x (variable) λx.t 阅读全文
posted @ 2024-01-25 20:39 sysss 阅读(32) 评论(0) 推荐(0) 编辑