理学 类型理论 释 type theory 类型理论 数理逻辑的一个分支。 哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- elimination polymerization
- elimination process
- elimination [reaction]
- elimination reaction
- elimination system of backward products, equipment and techniques
- elimination theorem
- elimination theory
- elimination with pivoting
- eliminative induction
- eliminator
- E-limit
- E-limitable sequence
- Elina Avraamovna Bystritskaya
- Elina Brotherus
- El Inca Garcilaso de la Vega
- E. L. Ince
- E. L. Ince (1891—1941)
- E line
- Eling Park
- Elin Pelin
- elinvar
- elinvar alloys
- elion
- Eliot Furness Porter
- Eliot Noyes