type theory发音

意思翻译

类型论；型态理论

相似词语短语

ramified type theory───分枝型理论

cubical type theory───立方型理论

type───vi.打字；vt.打字；测定（血等）类型；n.类型，品种；模范；样式；n.(Type)人名；(英)泰普

theory───n.理论；原理；学说；推测

type in───打入，输入；在已打好的材料上加入; 输入（在网上）

script type───脚本类型

jesting type───玩笑式

Batt Type───电池类型

dimm type───雾型

双语使用场景

analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.───类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。

To solve this problem thoroughly, in this article a power quality online monitoring and measuring equipment with a new type theory is presented.───文中介绍了一种全新原理的电能质量在线监测装置，可以彻底解决这个问题。

MBTI psychological type theory may contribute to the self-perfection to individual lawyers as well as legal profession as a whole.───MBTI性格类型理论无论对作为个体的法律人和还是对作为整体的法律职业，在自我完善方面都具有重要的参考价值。

Hu LP . Application of triple - type theory of statistics in experimental design . Beijing : People's Military Medical Press.───胡良平。统计学三型理论在实验设计中的应用。北京：人民军医出版社。

In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.───类似于代数数据类型理论，本文提出了对象、对象类型及抽象对象类型的代数模型。

This Ladder-type Theory of Human Rights Progress is a kind of theoretical innovation.───此种“梯度人权说”，是人权问题上的理论创新。

Hu LP. Application of statistics triple-type theory in the experiment design. Beijing: People's Military Medical Press, 2006: 63-64.───（inChinese）胡良平。统计学三型理论在实验设计中的应用。北京：人民军医出版社，2006：63-64。

Realm theory is essentially a kind of Type theory.───境界说在本质上也是一种类型说，是类型说的变式。

Triple-type theory of statistics and its application in the scientific research of biomedicine───统计学的三型理论及其在生物医学科研中的应用

英语使用场景

The relationship of wildcards to established type theory is an interesting one, which we briefly allude to here.

In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.

The text type theory, which is an important breakthrough and a significant complement of the traditional translation "Equivalence Principle", is based on the divisions of text functions.

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

MBTI psychological type theory may contribute to the self-perfection to individual lawyers as well as legal profession as a whole.

The text type theory, proposed by the German translation theorist K. Reiss and the British translation theorist P.

The text type theory is an important breakthrough and a significant complement of the traditional translation standard"Equivalence Principle".

As a new type theory of administration, administrative culture is drawing wide attention day by day.

This Ladder type Theory of Human Rights Progress is a kind of theoretical innovation.