型理論
型理論(かたりろん、type theory)
型理論は
Martin-Löf型理論
を基に作られてそう
依存型理論
ホモトピー
理論と型理論を組み合わせて作られた
Homotopy Type Theory(HoTT)
というものがある
型は値の名前付き集合
値は値集合の要素
メモ
type theory in nLab
関連リソース
型理論の資料,リソース
CAPE公開セミナー
関連
帰納的型