typological theory

 
  • 類(lèi)型論

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

typological theory的相關(guān)資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan