Difference between revisions of "Free variable"
Jump to navigation
Jump to search
BrettGiles (talk | contribs) (Convert from HaWiki) |
(No difference)
|
Latest revision as of 20:03, 5 October 2006
A variable that is not bound.
(\x -> x y)
In the above expression, y
is a free variable.
Whether a variable is free or not depends largely on context. It often helps to describe a variable as being free within a particular expression.
See also: Free expression, Maximal free expression.