%0 Journal Article
%T 单继承记录类型的代数描述
%A 何自强
%J -
%D 1999
%X 通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义.按照这一定义,一个类型可以不一定是它的超类型的子集.这使得记录模型成为有序类别代数.为了描述类型之间的单继承关系,引进了森林类别型构的概念.给出了等式的新意义,并证明了等式理论有初始模型
%K 有序类别代数
%K 等式理论
%K 单继承性
%K 记录.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19990420&flag=1