使用λ-演算定义True/False, 并进行布尔运算。 Recap: λ-Combinators A λ-Term without free variables is a combinator. § Lambda-Calculus 首先定义λ-Term TRUE 和 FALSE TRUE : = λ x . ( λ y . x ) \text{TRUE}:= \lambda x.(\lambda…
使用λ-演算定义True/False, 并进行布尔运算。 Recap: λ-Combinators A λ-Term without free variables is a combinator. § Lambda-Calculus 首先定义λ-Term TRUE 和 FALSE TRUE : = λ x . ( λ y . x ) \text{TRUE}:= \lambda x.(\lambda…
讨论
登录后参与讨论
还没有评论，来说第一句吧。