哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- Rust Belt
- rust fungi
- Rustic and Vulgar Woman
- rustic shoulder-knot
- rustless
- rustproof
- rust removal paste
- Ru Suichu
- Rutebeuf
- Rutgers University E-Governance Institute "2010-11 U.S. Municipalities E-Governance Survey"
- Ruth
- Ruth Almog
- Ruth Benedict
- Ruth Bernhard
- ruthenium
- ruthenocene
- Rutherford
- rutherford
- Rutherford [alpha-particle scattering] experiment
- Rutherford alpha-particle scattering experiment
- Rutherford atomic model
- Rutherford backscattering
- Rutherford backscattering spectroscopy
- Rutherford backscattering spectroscopy (RBS)
- Rutherford backscattering spectroscopy, RBS