判断题

霍兰德在类型论中想要解决三个问题,即类型理论适合谁来使用,怎么使用和在哪种环境下使用。

【参考答案】

错误

(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)