类型

类型（Template:Langx）可能指：

数学

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

计算机科学

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

其他

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

相关条目

• 类型学（Typology），对类型的研究
• 种类
• 范畴
• 体裁

__DISAMBIG__

__DISAMBIG__