简单: simple; uncomplicated; plain ...类型论: theory of types简单类型: simple types标准简单类型: standard simple type简单类型 lambda 演算: simply typed lambda calculus简单类型lambda演算: simply typed lambda calculus简单类型理论: simple type theory类型论: theory of class; theory of types; type theory; typological theory表单类型: form types委托单类型: order types分歧类型论: ramified theory of types心理类型论: psychological type theory支分类型论: ramified theory of types; ramifiedtheoryoftypes直觉类型论: intuitionistic type theory罪犯类型论: typological theory of criminals类型论, 类型理论: type theory非指定保单类型: presentation of an insurance documents of a type other than that required by the credit性格功能类型论: theory of character function types性格机能类型论: theory of character function type高级神经活动类型论: typological theory of higher nervous activity表单类: form classes模型论: model theory体型论: theory of body type同型论: isomorphism型论证: deductive argument