
18 Sep
2014
18 Sep
'14
8:02 a.m.
Thanks Emil.
I think bound and free usually refers to *occurrences* of variables in an expression. Right. I think I was a bit confused here.
However, I think that "bound" is also sometimes used to mean "in scope", and this seems to be mainly your interpretation. Yup, I think that was it.
Thanks for clearing this up for me. Janek