【摘要】 本文提出了基于构造性类型理论的一种面向对象类型理论中的继承机制，认为类是类规约类型的元素，而且类也是一种类型，继承是类规约和程序开发过程的重用机制．本文提出的理论可用于面向对象程序自动化的研究．更多还原

【Abstract】 This paper presents an inheritance mechanism for a constructive type theory supportingobject-oriented programming. A class is considered as an element of class specification type and aclass is also a type. Inheritance is taken as a reusing mechanism of the class specification andprogram development process. The theory may be used to study the automation of object-orientedprogramming.更多还原