This theory is completely abstract instead of being based on a more or less mechanical model.
这个理论完全是抽象的，而不是建立在多少有点机械的模式上。
2
In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。
3
Abstract: Based on the transaction cost theory, establish the EPC contract mode and the traditional mode transaction cost model, and make a comparative analysis.