哲学 逻辑 释 type theory 类型论 由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。
theory of types 类型论 type theory 类型论
理论计算机科学 程序理论 释文 type theory 类型论
- ellipsoidal
- ellipsoidal binary
- ellipsoidal calculus
- ellipsoidal cavity
- ellipsoidal collapse
- ellipsoidal coordinate
- ellipsoidal correction
- ellipsoidal distribution
- ellipsoidal distribution of velocities
- ellipsoidal function
- ellipsoidal geodesy
- ellipsoid algorithm
- ellipsoidal harmonic
- ellipsoidal harmonic function
- ellipsoidal harmonic of the first kind
- ellipsoidal harmonic of the second kind
- ellipsoidal mirror
- ellipsoidal nebula
- ellipsoidal section
- ellipsoidal surface
- ellipsoidal surface of revolution
- ellipsoidal telescope
- ellipsoidal variable
- ellipsoidal wave equation
- ellipsoidal zenith