型理論の文献
型理論I
. 1991
型理論II
. 1991
型理論III
. 1991
型理論IV
. 1991
水上 達夫. "数学基礎論特論 (コンピュータ特別講義 I) 講師 龍田 真". 2001-11-01.
http://www.yl.is.s.u-tokyo.ac.jp/~tatsuo/types/types20011101.pdf
『［2021CAPE公開セミナー］ 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」 』
『［2021CAPE公開セミナー］ 論理学上級 Ⅱ-2「カリー・ハワード対応と『証明のデータ型としての命題』観」』
『［2021CAPE公開セミナー］ 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」』
『［2021CAPE公開セミナー］ 論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」 』
型の理論入門 （ 論理学入門 III ） | MaruLabo
直観主義型理論
『Intuitionistic Type Theory』
『Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)』
ホモトピー型理論は↓で
Homotopy Type Theoryの参考文献
『Sets in types, types in sets』
動画
大堀淳の計算機科学チャネル - YouTube
本
型システム入門 －プログラミング言語と型の理論
新装版 プログラミング言語の基礎理論
関連
数理論理学の参考文献
参考
型理論の資料，リソース - パンの木を植えて
#特定の文献リスト