Difference between revisions of "Free expression"
Jump to navigation
Jump to search
BrettGiles (talk | contribs) (Converting from HaWiki) |
(No difference)
|
Latest revision as of 20:07, 5 October 2006
An expression in which every variable is a Free variable.
If a free expresion is as large as it can be, in the sense that it is not a proper subexpression of another free expression, it is called a Maximal free expression.