The abstract ontological question with universal meaning is firstly the question of subject definition, but its essence is a theory about purposes and objects.
抽象的具有普适意义的本体论问题，首先是个匡定学科领域问题，实质是关于研究目的和对象的理论。
In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
应用推荐