bound variables

网络释义

1.	约束变词英美(分析)哲学用词英汉对照表 - 豆丁网 ... Boolean function 布尔函数 bound variables 约束变词 boundary 界限/临界 ... www.docin.com
2.	约束变量使用方法参照的动机就是要有这样一个类型，这个类型能包含约束变量（bound variables），正如著名的闭包值。由于闭包闭 … www.cnblogs.com
3.	约束变元因此，我们把 "xP(x) 和 $xP(x) 中变元称为约束变元（bound variables），而那些可以取值代入的变元则称为自由变元（free var… 59.67.71.237:8080