型理論の文献 - pogi-log

型理論の文献

直観主義型理論

『Intuitionistic Type Theory』

『Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)』

『Homotopy Type Theory Univalent Foundations of Mathematics』

『Sets in types, types in sets』

『［2021CAPE公開セミナー］論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」』

『［2021CAPE公開セミナー］論理学上級 Ⅱ-2「カリー・ハワード対応と『証明のデータ型としての命題』観」』

『［2021CAPE公開セミナー］論理学上級 Ⅱ-3 証明論的意味論としてのマーティン・レーフの構成的型理論』

関連

Homotopy Type Theoryの参考文献

数理論理学の参考文献

#特定の文献リスト