%0 Journal Article
%T 带类型λ-演算的扩充
%A 王美清
%J 福州大学学报(自然科学版)
%D 1993
%X 在许多情况下λ－演算的能力不够、Felleisen M等把λ－演算加以扩充，并证明扩充后的语言λｃ具有某些基本性质．本文试图为λｃ－演算加上类型，给出带类型λｃ－演算的逻辑系统，然后考虑它的指称语义．
%K λ_c-演算
%K 类型
%K 指称语义
%U http://xbzrb.fzu.edu.cn/ch/reader/view_abstract.aspx?file_no=19930340&flag=1