[neym-bawrd, -bohrd] /ˈneɪmˌbɔrd, -ˌboʊrd/
a signboard that identifies a place or object.
a painted, stenciled, etc., on something, as on the side of a ship.
[neym-brand] /ˈneɪmˌbrænd/ adjective 1. (def 1). noun 2. (def 2).
[neym-kaw-ler] /ˈneɪmˌkɔ lər/ noun 1. a person who constantly resorts to name-calling.
[neym-kaw-ling] /ˈneɪmˌkɔ lɪŋ/ noun 1. the use of abusive names to belittle or humiliate another person in a political campaign, an argument, etc. noun 1. verbal abuse, esp as a crude form of argument noun The assigning of malicious designations in politics, debate, etc; character assassination; vilification: They soon sank to simple name-calling (1853+)
- 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 […]