Monday, March 28, 2016

Bound/bounded/binded and Bound vs. Free Variables

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


No comments:

Post a Comment