类型分级结构

英语翻译

type hierarchy

拓展翻译

类型
genre; run; stamp; style; type
type
Ty.; type
type

类型标记
type mark

类型标识符
type identifier

类型表
type list

类型参数
type parameter

类型层次
type hierarchy

类型等价
type equivalence

类型等价性
equivalence of types

类型定义
type definition

类型定义部分
type definition part

类型多种组合形式
type polymorphism

类型过程
type procedure

类型兼容
type compatibility

类型检验
type checking

类型检验规划
type checking rule

类型结合
type association

类型控制参数块
type control parameter block

类型扩充
type extension

类型理论
type theory

类型论
type theory