直観主義型理論

直観主義論理 + 型理論