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