英语词汇“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.相反的，在内涵类型论中，类型检查是可判定性的，但是很多数学概念的表达是不标准的，因为缺乏外延推理。
随便看	semen ginkgo semen gleditsiae sinensis Semen Gleditsiae Sinensis Semen Glycines Sojae Semen Gossypii Hirsuti Semen Gymnocladi Chinensis semen gynandropsis Semen Gynocardiae Odoratae semen handling Semen Herpetospermi Semen Hodgsoniae semen hoveniae Semen Hoveniae Acerbae Semen Hoveniae Dulcis semen hydnocarpi Semen Hydnocarpi Alpinae Semen Hydnocarpi Anthemintici Semen Hydnocarpi Hainanensis Semen Hydnocarpi Heterophylli Semen Hydnocarpi Wightianae Semen Hygrophilae Megalantae semen hyoscyami Semen Hyosyami Semen Hyosyami Bohemici Semenic