哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- universal quantum gate
- universal quantum gates
- universal quasi-chemical activity-coefficient
- universal recursive function
- universal relation
- universal representation
- universal R matrix
- universal R-matrix
- universal scaling function
- universal seismograph
- universal sentence
- universal sequence of periodic orbits
- universal serial bus
- universal serial bus, USB
- universal series
- universal service
- universal set
- universal singularity
- universal social welfare
- Universal Soil Loss Equation
- universal solution
- universal source coding
- universal space
- universal specification
- universal spectral fluctuation