theory of class的用法和樣例：
例句
- 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é)概念的表達是不標準的，因為缺乏外延推理。
theory of class的相關(guān)資料：
臨近單詞
theory bases
theory
Theory of Functions and Analysis
theory of radical interpretation
theory of intelligence structure
theory of functional translation
theory of absolute reaction rate
theory of profit upon alienation
theory of machines and mechanism
theory of psychological distance
theory of rationality in desires
theory of science and technology
