typological theory

　
英 美
  • 類型論

typological theory的用法和樣例：

例句

  1. 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.
    相反的，在內涵類型論中，類型檢查是可判定性的，但是很多數學概念的表達是不標準的，因為缺乏外延推理。

typological theory的相關資料：

臨近單詞

typo typosis
以上內容獨家創作，受著作權保護，侵權必究

今日熱詞
相關詞典網站：

牛津高階第八版

美國韋氏詞典

Dictionary.com

Free Dictionary

維基百科 (自由的百科全書)

目錄 附錄 查詞歷史