I guess "binded" is restricted to contexts in which "binders" are in play:
http://grammarist.com/usage/binded-bound/
And "bounded" has a different meaning altogether:
http://grammarist.com/usage/bound-bounded/
But here's a tidy description of the distinction between bound and free variables:
http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/node11.html
http://grammarist.com/usage/binded-bound/
And "bounded" has a different meaning altogether:
http://grammarist.com/usage/bound-bounded/
But here's a tidy description of the distinction between bound and free variables:
http://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/node11.html
No comments:
Post a Comment