In analogy to algebraic data typetheory, this paper proposed the mathematical model of objects, object types and abstract object types.
类似于代数数据类型理论,本文提出了对象、对象类型及抽象对象类型的代数模型。
2
In the field of law science of administrative litigation, the study on the administrative litigation type is a question ignored for a long time, and the application of the typetheory is rarer.
在行政诉讼法学领域,对行政诉讼类型的研究是一个长期被忽视的问题,类型理论的运用就更为少见。
3
The text typetheory, proposed by the German translation theorist K. Reiss and the British translation theorist P.