類型

類型（英語：type）可能指：

數學

• 型 (模型論)，是模型論中一階邏輯中的一個相容的公式集合。
• 類型論（英語：Type theory），型別系統研究的基礎。
• 直覺類型論（英語：Intuitionistic type theory），是基於數學構造主義的函數式程式語言、邏輯和集合論。

電腦科學

• 資料類型（英語：Data type），用於計算的值的集合容器
• 型別系統（英語：Type system），程式語言中由為值分配類型的規則組成的邏輯系統

其他

• 藝術類型（英語：Genre），指藝術創作上區分並統述多項特質相同的作品的方法。
• 型（形而上學）（英語：Type (metaphysics)）
• 理想型（德語：Idealtypus），指藉由篩選出某個現象的某些基本或核心特徵，則其他的特徵都將被摒棄或忽視。
• 犬型（英語：Dog type），是根據形式、功能或工作方式、血統或外觀對家犬進行的廣泛分類。
• 生物型（英語：Type (biology)），是生物體的特定標本，該生物體的學名正式與之相關聯。

相關條目

• 類型學（Typology），對類型的研究
• 種類（英語：Kind）
• 範疇
• 體裁