bound variable 约束变元，约束变量†，约束变项
理论计算机科学 程序理论 释文 bound variable 约束变量
- ring-theoretic
- ring-theoretical
- ring-theoretic property
- ring theory
- ring topology
- ring torus
- ring transformation
- Ringuet
- ring unit
- ring vortex
- ring with a discrete valuation
- ring with a domain of operators
- ring with an additional structure
- ring with a ring of operators
- ring with divided powers
- ring with division
- ring with identity
- ring with involution
- ring with maximum condition
- ring with minimum condition
- ring with operators
- ring without identity
- ring without zero divisors
- ring with polynomial identity
- ring with straightening law