theory of types [计] 类型论 ; 类型说

ramified theory of types 分歧类型论 ; 类型分歧论

simple theory of types 简单类型论

theory of psychological types 心理型论

The theory of types 类型论

theory of logical types 逻辑类型理论

Intuitionistic Theory of Types 直觉类型论

The Theory of Logical Types 逻辑类型论

logic theory of types 逻辑类型论

morris theory of types 莫里斯类型论