直観主義型理論
直観主義論理
+ 型理論
→
Martin-Löf型理論
or
Martin-Löfの直観主義型理論