哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- hierarchical mobile IPv6, HMIPv6
- hierarchical model
- hierarchical modeling
- Hierarchical/multilevel optimization
- hierarchical nanostructure
- Hierarchical Network Model
- Hierarchical Network of Concept
- hierarchical notation
- hierarchical occlusion map algorithm
- hierarchical optimization for material design
- hierarchical order in the clan
- hierarchical planning
- hierarchical porous carbon materials
- hierarchical porous molecular sieve
- hierarchical principal-agent relationship in mega project
- hierarchical production planning
- hierarchical relationship of words
- hierarchical risk management of safety production
- hierarchical sampling method
- hierarchical solvers
- hierarchical storage management
- hierarchical storage system
- hierarchical structure
- hierarchical structure formation
- hierarchical structure of aquatic plant community