Yes it uses free variables. My question is closure ≡ open lambda term (open lambda term - the one with free variables)? Because from implementation point of view closed lambda terms can be closures as well.
(This is just some thoughts out loud. Not questioning your comment)
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Yes it uses free variables. My question is
closure ≡ open lambda term
(open lambda term - the one with free variables)? Because from implementation point of view closed lambda terms can be closures as well.(This is just some thoughts out loud. Not questioning your comment)