类型

类型（）可能指：

;数学

• 型 (模型論)，是模型論中一階邏輯中的一個相容的公式集合。
• 类型论（），类型系统研究的基础。
• 直觉类型论（），是基於數學構造主義的函數式程式語言、邏輯和集合論。

;计算机科学

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

;其他

• 藝術類型（），指藝術創作上區分並統述多項特質相同的作品的方法。

*

• 理想型（），指藉由篩選出某個現象的某些基本或核心特徵，則其他的特徵都將被摒棄或忽視。
• ，是根據形式、功能或工作方式、血統或外觀對家犬進行的廣泛分類。
• ，是生物體的特定標本，該生物體的學名正式與之相關聯。

相关条目

• 类型学（Typology），对类型的研究

*

• 范畴
• 体裁