Translation of "type theory" into Chinese

类型论, 類型論 are the top translations of "type theory" into Chinese.

type theory
+ Add

English-Chinese dictionary

  • 类型论

  • 類型論

    名詞

    (usually uncountable) fоrmаl ѕуѕtеm іո mаtһеmаtісаl lоցіс аոԁ соmрսtеr ѕсіеոсе tһаt сlаѕѕіfіеѕ ехрrеѕѕіоոѕ ᖯаѕеԁ оո tһеіr tуреѕ

    In computer science, type theory can help us better understand and organize the structure of programs. (This example sentence was generated by a large language model.)

    在計算機科學中，類型論可以幫助我們更好地理解和組織程序的結構。（這個例句是由大型語言模型生成的。）

  • Show algorithmically generated translations

Automatic translations of "type theory" into Chinese

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate

Phrases similar to "type theory" with translations into Chinese

Add

Translations of "type theory" into Chinese in sentences, translation memory