原名:Introduction to Lambda Calculus
作品简介:计算。 (1) Church (1936) 发明了一种称为 lambda 演算的形式系统和 。出现在特定表达式中的与自由表达式不同。这个可以 。 (ii) 如果 FV(M) = ∅，则 M 是闭 λ 项（或组合子）。的集合……
资源下载
VIP免费升级VIP
原名:Introduction to Lambda Calculus
作品简介:计算。 (1) Church (1936) 发明了一种称为 lambda 演算的形式系统和 。出现在特定表达式中的与自由表达式不同。这个可以 。 (ii) 如果 FV(M) = ∅，则 M 是闭 λ 项（或组合子）。的集合……
