分歧类型论的英文

ramified theory of types

• 分歧:    divergent; differe ...
• 类型论:    theory of types
• 类型论:    theory of class; t ...