Category:型理論
順序対
Ordered pairダック・タイピング
Duck typingデータ型
Data type抽象データ型
Abstract data typeカリー=ハワード同型対応
Curry–Howard correspondenceNullable型
Nullable type始代数
Initial algebraSystem F
System F値 (計算機科学)
Value (computer science)カインド (型理論)
Kind (type theory)型クラス
Type class共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)サブタイピング (計算機科学)
Subtyping住性 (型理論)
Type inhabitation変数 (プログラミング)
Variable (computer science)Option型
Option type型消去
Type erasureラムダ・キューブ
Lambda cubeリスコフの置換原則
Liskov substitution principle型付きラムダ計算
Typed lambda calculus型理論
Type theory型推論
Type inference直観主義型理論
Intuitionistic type theory新基礎集合論
New Foundations依存型
Dependent type数学的構造
Mathematical structure