类型

类型（英语：）可能指：

数学

• 型 (模型论)，是模型论中一阶逻辑中的一个兼容的公式集合。
• 类型论（英语：），类型系统研究的基础。
• 直觉类型论（英语：），是基于数学构造主义的函数式编程语言、逻辑和集合论。

计算机科学

• 数据类型（英语：），用于计算的值的集合容器
• 类型系统（英语：），编程语言中由为值分配类型的规则组成的逻辑系统

其他

• 艺术类型（英语：），指艺术创作上区分并统述多项特质相同的作品的方法。
• 型（形而上学）
• 理想型（德语：），指借由筛选出某个现象的某些基本或内核特征，则其他的特征都将被摒弃或忽视。
• 犬型，是根据形式、功能或工作方式、血统或外观对家犬进行的广泛分类。
• 生物型，是生物体的特定标本，该生物体的学名正式与之相关联。

维基词典中的词条「」。