Similar to 型理論
アルゴリズム的確率
Algorithmic probability
ワリード・アルサラム
Waleed Al-Salam
アルス・マグナ (カルダーノの著書)
Ars Magna (Cardano book)
ある数学者の生涯と弁明
A Mathematician's Apology
アルティンのL-函数
Artin L-function
アルティン・ハッセの指数関数
Artin–Hasse exponential
ミハイル・アルティン
Michael Artin
エミール・アルティン
Emil Artin
アルティン・ウェダーバーンの定理
Wedderburn–Artin theoremアルティン加群
Artinian moduleアルティン環
Artinian ring
アルティン・シュライアー理論
Artin–Schreier theoryアルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
Nullable型
Nullable type
Option型
Option typeSystem F
System F
値 (計算機科学)
Value (computer science)
依存型
Dependent type
カインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)サブタイピング (計算機科学)
Subtyping
始代数
Initial algebra