哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- colonnade
- Colonnaded Street
- colonoscope
- colonoscopy
- colon product
- colonrectal and anal disease
- colon-specific capsules
- colony
- colony cages for layer breeders
- colony-forming unit
- colony forming units
- colony hybridization
- colony stimulating factor
- colophonium
- Colophons of Ouyang Xiu
- colophony
- color
- colorable
- colorable graph
- colorable knot
- Colorado Grand Canyon
- Colorado International Invitational Poster Exhibition
- coloradoite
- Colorado Plateau
- colorado potato beetle