哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- phytoferritin
- phytogeography
- phytogeography of China
- phytoglycogen
- phytoh
- phytohemagglutinin
- phytohemagglutinin-P
- phytohemagglutinin (PHA)
- phytohormone
- phytol
- phytolemma
- phytoliths
- phytomass
- phytopathology
- phytophage
- Phytophthora dieback
- phytophthora foot rot
- phytoplankton
- phytoplankton primary productivity
- phytoremediation
- phytoremediation enhancement technique
- phytoremediation technology
- phytosanitary laboratories accreditation
- Phytosanitary measures
- phytosanitary procedure