%0 Journal Article
%T 归纳类型的构造集语义
%A 傅育熙？
%J 软件学报
%P 236-240
%D 1998
%X 有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型.构造演算不存在经典集合论模型,但在构造集合论中有模型.本文刻画了构造演算中归纳类型的构造集语义.
%K 类型理论
%K 归纳类型
%K ω-集合.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19980315&flag=1