哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- data-over-cable service interface specifications, DOCSIS
- data overload
- data package of exploration block(region)
- data packet
- data packet disordering
- data packet dropout
- data parallelism
- data parallel programming language
- data partitioning
- data partition tools
- data path
- data perturbation
- data plane
- data planning
- data plate
- Data Plate of Ezana
- data preparation device
- data pre-processing
- data preprocessing
- data pre-processing of electrical method
- data presentation
- data privacy
- data processing
- data processing and interpretation of Engineering Electrical method
- data processing center