原名:Models and theories of lambda calculus by Giulio Manzonetto
作品简介:第 16 届 EACSL 计算机科学与逻辑年会 (CSL\’07)。 [27]。然而，我们的 .图模型的类别，并且最小图论（即图模型的理论）与 λβ 不同。 λ 演算的非句法模型可以是 r.e. （请注意，这是一个概括……
资源下载
VIP免费升级VIP
原名:Models and theories of lambda calculus by Giulio Manzonetto
作品简介:第 16 届 EACSL 计算机科学与逻辑年会 (CSL\’07)。 [27]。然而，我们的 .图模型的类别，并且最小图论（即图模型的理论）与 λβ 不同。 λ 演算的非句法模型可以是 r.e. （请注意，这是一个概括……
