name capture
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of name capture words
- noun Technical meaning of name capture (reduction) 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. 1
Information block about the term
Parts of speech for Name capture
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with n
- Words starting with na
- Words starting with nam
- Words starting with name
- Words starting with namec
- Words starting with nameca
- Words starting with namecap
- Words starting with namecapt
- Words starting with namecaptu
- Words starting with namecaptur
- Words starting with namecapture
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?