带类型λ-演算的扩充  

Estension of Typed λ-Calculus

作　　者：王美清[1] 

机构地区：[1]福州大学数学系

出　　处：《福州大学学报（自然科学版）》1993年第3期8-15,共8页Journal of Fuzhou University(Natural Science Edition)

摘　　要：在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．In many cases, λ-Calculus is insufficient with respect to expressiveness, and inefficient with respect to thc evaluation process. Felleisen M et al derived an extension of λ-calculus, and Proved that the extended calculus λ-calculus satisfied some basic properties. This paper considers the typed λc-calculus, derives a logic system of λ-calculus, and then considers its denotational semantics.

关 键 词：类型 Λ演算 λc演算 程序语言 

分 类 号：O141.1[理学—数学]