×

type theory meaning in Chinese

Pronunciation:   "type theory" in a sentence
  • 类型论, 类型理论
  • 逻辑类型
  • type:    n. 1.型,类型,(工业产品的)品 ...
  • theory:    n. 1.理论,学理,原理。 2.学 ...
  • s type theory:    乔施类型理论; 杨施的类型理论
Download Dictionary App

Examples

    More:   Next
  1. The handling of faults in the originals with newmark ' s text type theory is analyzed
    用纽马克的文本分类法来分析对不同原文失误的处理策略。
  2. Application of statistical idea and the triple - type theory in the scientific research of biomedicine
    统计学思想与三型理论在生物医学科研中的应用
  3. Lastly , the problem of software evolution caused by introducing agent model is studied based on an architecture description language named c2 adl and software architecture type theory
    最后,基于c2adl和软件体系结构的类型理论,系统地研究了引入agent模型产生的软件演化问题。
  4. A new approach to domain - specific reasoning is presented that is based on a type - theoretic logical framework but does not require the user to be an expert in type theory
    本文提出一种新的基于类型理论逻辑框架lf的特定论域推理途径lftop 。在此途径下,用户可以不必是类型理论方面的专家。
  5. Thus , the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained , such as precision and machine - checkable proofs
    由此,逻辑框架的复杂性就被隐藏起来了,同时我们还保留了精确性和机器验证等使用类型理论系统及其相关工具的优点。

Related Words

  1. type tested in Chinese
  2. type testing in Chinese
  3. type tests in Chinese
  4. type the application letter in Chinese
  5. type the document in Chinese
  6. type tool in Chinese
  7. type torpedo engine in Chinese
  8. type tractor in Chinese
  9. type train printer in Chinese
  10. type trainer in Chinese
PC Version한국어简体繁體日本語Hindi