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 Glenn Willen (talk | contribs) at 16:18, 2 September 2004 (I think that's the wrong kind of closure.). 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)

The see also link for Closure appears to be the wrong kind of closure. It should probably be Closure (computer science). Glenn Willen (Talk) [[]] 16:18, 2 Sep 2004 (UTC)

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