ar: Arabic · bg: Bulgarian · cs: Czech · da:Danish · de: German · el: Greek · en: English · es: Spanish · et : Estonian · fa: Persian · fi: Suomi · fr: French · he: Hebrew · hi: Hindi · hr: Croatian · hu: Hungarian · id: Indonesian · is: Icelandic · it: Italian · ja: Japanese · ko: Korean · lt: Lithuanian · lv: Latvian · nl: Dutch · no: Norwegian · pl: Polish · pt: Portuguese · ro: Romanian · ru: Russian · sk: Slovak · sl: Slovenian · sr: Serbian · sv: Swedish · th: Thai · tr: Turkish · vi: Vietnamese · zh: Chinese

... 型 ... (1357 elements)

中胚葉型の人 · 儀型 · 内胚葉型の人 · 型 · 小型出租汽车 · 尖顶屋两端的山型墙 · 木型科 · 胃肠型感冒 · 青葉型重巡洋艦 · 頭型

... 类 ... (355 elements)

人类帝国 · 刘少奇一类骗子 · 数据聚类 · 有袋类 · 果类 · 等价类 · 类 · 糖类 · 蕨类植物 · 龟鳖类

... 一类型 ... (1 element)

与某人不属同一类型

... 他类型 ... (1 element)

任何其他类型的垫

... 单类型 ... (1 element)

简单类型LAMBDA演算

... 的类型 ... (2 elements)

独特的类型 · 语言的类型分类

... 类型L ... (1 element)

简单类型LAMBDA演算

... 类型分 ... (1 element)

语言的类型分类

... 类型的 ... (2 elements)

任何其他类型的垫 · 同类型的

... 类型论 ... (2 elements)

直觉类型论 · 类型论