Similar to 共変性と反変性_(計算機科学)
ニクス (衛星)
Nix (moon)
ニコチン作動薬
Nicotinic agonist
ニコメディア
Nicomedia▼-1 trends
型理論
Type theory
Nullable型
Nullable type
Option型
Option type
値 (計算機科学)
Value (computer science)
依存型
Dependent typeカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence住性 (型理論)
Type inhabitation
順序対
Ordered pair
新基礎集合論
New Foundations
数学的構造
Mathematical structure
抽象データ型
Abstract data type
直観主義型理論
Intuitionistic type theory
データ型
Data type
変数 (プログラミング)
Variable (high-level programming)
ラムダ・キューブ
Lambda cube
Template:圏論
Template:Category theory圏論
Category theory
Catamorphism
Catamorphism
F余代数
F-coalgebra
F代数
F-algebra