構成的型理論
構成的型理論(constructive type theory)
構成的型理論 =
Martin-Löf型理論
→
直観主義型理論
参考
Intuitionistic type theory - Wikipedia
型理論I
メモ
『［2021CAPE公開セミナー］ 論理学上級 Ⅱ-3「証明論的意味論としてのマーティン・レーフの構成的型理論」』
『Constructive Mathematics』
構成的論理とプログラム理論
構成的論理(
直観主義論理
)