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.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
应用推荐