type theory的意思

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.