理学 类型理论 释 type theory 类型理论 数理逻辑的一个分支。 哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- ectopic pregnancy
- ectopic testis
- ectopic ureters
- ectoplasm
- ectoplast
- ectosymbiosis
- ectotherm
- ectotoxin
- ectotroph
- ECTRD
- ectrolyzers for magnesium chloride electrolysis
- ectron
- ECT technology
- ECU
- Ecuador
- Ecuadorian Confederation of Class-Based Organizations
- Ecuadorian Confederation of Free Labor Organizations
- Ecuadorian July Revolution
- Ecuadorian music
- eculizumab
- Ecumenical Patriarch of Constantinople
- ecumenopolis
- e-currency
- E. C. Zeeman
- E. C. Zeeman (1925—2016)