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 ?
'As a market leader and major intermediary between buyers and sellers in the centre of global trade, we process more than 36 million pages of trade documents annually, with over 200 million data elements for name capture and processing,' said Lisa Robins, Global Head, Transaction Banking at Standard Chartered.
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.
BIG NAME CAPTURE: Christian Ziege had won Serie A with AC Milan before swapping Italy for Teesside and was an instant hit in a Boro shirt, although he left under a cloud