哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- Information poverty
- information power grid
- information power grid, IPG
- information power theory
- information pretreatment
- information privacy protection
- information processing
- Information Processing and Management
- information processing equipment
- information processing model of learning
- information processing of organization
- information processing paradigm
- information processing system
- information processing technology
- information processor
- information producer
- information product
- information productivity
- information product pricing
- information products
- information professional
- information profitability
- information profusion
- information property
- information protection