[定义]
良类型
[定义] 良类型
对 [定义] 类型与类型判断 的类型关系，若存在某个类型 ，使得 有一棵由这些规则搭成的有限推导，就称项 是良类型的（well-typed）；否则称 是不良类型的（ill-typed）。