Printer Friendly
The Free Dictionary
1,082,910,979 visitors served.
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

name capture

    0.04 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.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in ? References in periodicals archive
 
E-Mail Channel Management - From name capture strategies and e-mail and subject line content to landing page strategies and promotions, Digital River offers its clients end-to-end management of their e-mail programs.
The new KODAK EASYSHARE Gallery name captures this evolution for a service that will provide people with more ways than ever before to view and share pictures with friends and family," said David Rich, vice president of marketing for Ofoto, Inc.
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2008 Farlex, Inc.
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.. Terms of Use.