In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.

类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。

youdao

In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.

类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。

youdao