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