哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- double mechanical port motor
- double Mersenne number
- double meteor
- double-mode Cepheid
- double-mode pulsation
- double-mode pulsator
- double-mode RR Lyrae star
- double-mode shield method
- double-mode variable
- double-mode variable star
- double module
- double nebula
- double needle bar seamless warp knitting machine
- double needle bar warp-knitted stitch
- double needle bar warp knitting machine for plush
- double negation
- Double Negative
- double negative
- double normal
- double nozzle twister
- double number
- double obelisk
- double of a Riemannian surface
- double orthogonal complement
- double orthogonal system