英语词汇“theory of class”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	theory of class
释义	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.相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
随便看	non-localities nonlocality non-locality Non-locality non-locality preserving projection nonlocalizability nonlocalizable nonlocalization non-localization nonlocalized non localized non-localized nonlocalized adsorption non-localized adsorption nonlocalized bond non localized bond non-localized bond nonlocalized damage non localized damage nonlocalized electro nonlocalized electron nonlocalized energy nonlocalized fringe non-localized fringe non localized fringes