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