直觀主義型理論
intuitionistic type theory。構成的型理論 (constructive type theory)
直観主義型理論 - Wikipedia
Intuitionistic type theory - Wikipedia
Martin-Löf dependent type theory in nLab
依存型理論
依存型