name capture

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.
References in periodicals archive ?
The songs the things do in such He is the latest big name capture for the Corporation Road venue, which has also announced 2018 dates for London-based Public Service Broadcasting in April and rockers Lower Than Atlantis in May.
Ameobi has arrived on seasonlong loan from Newcastle in the Welsh capital and remains Slade's only big name capture so far this summer as the Bluebirds build towards their Championship opener at home to Fulham in less than a fortnight's time.
Additionally, to increase data accuracy, LeadByFone features and advanced name capture functionality and an address verification service.
TALENTSPOTTER: Blues boss Ancelotti STELLAR SIGNING: Argentine wonderkid Aguero could be Chelsea's next big name capture
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.
Independent competitors can control the entire process of name capture and promotion through local activities.
Can a good brand name capture market share for a company?
It's the latest big name capture for the Corporation Road venue, who have also announced indie veterans The Cribs for January 25.
Ameobi has arrived on season-long loan from Newcastle in the Welsh capital and remains Slade's only big name capture so far this summer as the Bluebirds build towards their Championship opener at home to Fulham in less than a fortnight's time.
But Rangers fans waiting for a big name capture during the January window can forget it, although McLeish is looking for a midfield player in addition to striker Kris Boyd.
He is signing players at a fair rate but is still looking for the big name capture that will inspire the fans but has a strong interest in free agent Teddy Sheringham and Sunderland's Phil Babb.
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.