This theory is completely abstract instead of being based on a more or less mechanical model.

这个理论完全是抽象的，而不是建立在多少有点机械的模式上。

youdao

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

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

youdao

Abstract: Based on the transaction cost theory, establish the EPC contract mode and the traditional mode transaction cost model, and make a comparative analysis.

以交易成本理论为基础，建立EPC总承包模式与传统模式的交易成本模型，并进行对比分析。

youdao