Definition. 良类型 Glomzzz 2026-10-10 About 对 类型与类型判断 的类型关系， 若存在某个类型 𝑇，使得 𝑡:𝑇 有一棵由这些规则搭成的有限推导， 则称词项 𝑡 是良类型的；否则称 𝑡 是不良类型的．
