name capture

0.01 sec.

(reduction)

name capture - In beta reduction, when a term containing a free occurrence of a variable v is substituted into another term where v is bound the free v becomes spuriously bound or "captured". E.g.

(\ x . \ y . x y) y --> \ y . y y (WRONG)

This problem arises because two distinct variables have the same name. The most common solution is to rename the bound variable using alpha conversion:

(\ x . \ y' . x y') y --> \ y' . y y'

Another solution is to use de Bruijn notation.

Note that the argument expression, y, contained a free variable. The whole expression above must therefore be notionally contained within the body of some lambda abstraction which binds y. If we never reduce inside the body of a lambda abstraction (as in reduction to weak head normal form) then name capture cannot occur.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			Each application also contains customizable user interface designs, call flows and voice prompts; extensive usage tracking and reporting capabilities; and leverages BeVocal's extensive library of optimized grammars, including some of the industry's most highly-tuned grammars for city, state, street address, and name capture. BEVOCAL INTRODUCES VOCARE VOICE APPLICATION SOLUTIONS by Audiotex Update Independent competitors can control the entire process of name capture and promotion through local activities. E-Mail Marketing: Is It On Your Radar Screen? by Bursten, Steven C. / Franchising World The PROSPER name captures the business opportunities Stream Inkjet Technology provides for our customers -- new markets, more revenue and better margins. Kodak Introduces Availability of Stream Technology as KODAK PROSPER ... by Business Wire			Nalivkin, Vasilii Dmitrievich Nalkowska, Zofia Nallamalla NALOPKT nalorphine naltrexone Nam Nam Cao Nam Co Nam Dinh Nam Tso Namahage Festival Namakzar Namana Namanereinae Namangan Namangan Oblast Namaqualand Namath, Joe Namatjira, Albert Namazga-Tepe Nambudiri Namcha Barwa Namdhari Name name capture name day name mangling name parsing name resolution name server name service switching named named pipe Named Pipes Nameisis names namespace Namestnik Nametkin, Nikolai Nametkin, Nikolai Sergeevich Nametkin, Sergei Nametkin, Sergei Semenovich Namhoi Namib Namib Desert Namibe Namibia Namibia Heroes Day Namier Namier, Lewis Bernstein			name after name after name after name after name after name and address name and address Name and Address Book Name and Address File Name and Address Markup Language Name and Address Module Name and identifier Name and identifier Name and identifier name as Name at birth Name at Lloyd's Name at Lloyd's Name at Lloyd's Name at Lloyd's Name at Lloyd's Name Authority Cooperative Name Authority Record Name binding Name Binding Protocol name brand Name Brand Casual Dining Name Brand Computer Outlet Name Brand Fast Food name calling name capture Name Changed to Protect the Guilty Name Changed to Protect the Innocent Name Changed to Protect the Innocent, Inc. Name Daemon Control Program name day name day name days name days Name decoration name delivery Name drop name dropper Name dropping name expressly Name Field Address name for name for name for name for name for name for name for else name for else to give name for office name in lights name inaccurately name incorrectly name is mud name is mud name is mud

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.