type theory meaning in Chinese

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


    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
  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