型理論
type theory
バートランド・ラッセル
ペール・マルティン＝レーフ
アロンゾ・チャーチ
型付きラムダ計算
直観主義型理論
型システム
データ型
領域理論
圏論
zenn.icon
型理論
qiita.icon
型理論
github.icon
型理論
https://ja.wikipedia.org/wiki/型理論