理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- bounded on the left set
- bounded on the right set
- bounded operator
- bounded ordered set
- bounded plasma
- bounded quantification
- bounded quantifier
- bounded quantifier formula
- bounded-quantifier formula
- bounded random variable
- bounded rationality
- bounded rationality decision-making
- bounded real lemma
- bounded representation type
- bounded-reversal Turing machine
- bounded rotation
- bounded semi-variation
- bounded sequence
- bounded series
- bounded set
- bounded set of real numbers
- bounded solution
- bounded space
- bounded subset
- bounded summability field