直観主義型理論
https://en.wikipedia.org/wiki/Intuitionistic_type_theory