Jump to content

Talk:Free variables and bound variables

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Michael Hardy (talk | contribs) at 22:21, 2 March 2003. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The transition from the list of examples to the proposed precise definition, which I suspect may be too narrow, is abrupt. The article needs polishing, by someone familiar with logic and with the lambda calculus. Michael Hardy 22:51 Feb 23, 2003 (UTC)

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Free_variables_and_bound_variables&oldid=5609962"