<span class="searchmatch">alpha</span> <span class="searchmatch">conversion</span> (countable and uncountable, plural <span class="searchmatch">alpha</span> <span class="searchmatch">conversions</span>) (computing theory) One of the three rewrite rules of lambda calculus, in which...
<span class="searchmatch">alpha</span> <span class="searchmatch">conversions</span> plural of <span class="searchmatch">alpha</span> <span class="searchmatch">conversion</span>...
(fx))} may be rewritten as simply f {\displaystyle f} , provided that x does not occur freely in f (considered by itself). <span class="searchmatch">alpha</span> <span class="searchmatch">conversion</span> beta reduction...
deconversion type <span class="searchmatch">conversion</span> <span class="searchmatch">alpha</span> <span class="searchmatch">conversion</span> anticonversion autoconversion backfile <span class="searchmatch">conversion</span> bioconversion cardioconversion coconversion <span class="searchmatch">conversional</span> conversionary...
<span class="searchmatch">alpha</span> dog <span class="searchmatch">alpha</span>-dog <span class="searchmatch">alpha</span> dogging <span class="searchmatch">alpha</span> emission <span class="searchmatch">alpha</span> emitter <span class="searchmatch">alpha</span> error <span class="searchmatch">alpha</span> floor <span class="searchmatch">alpha</span>-gal <span class="searchmatch">alpha</span>-GAL <span class="searchmatch">alpha</span> globin <span class="searchmatch">alpha</span> helix <span class="searchmatch">alpha</span> hinge <span class="searchmatch">alpha</span>-hydroxy...
for such deductions), and the cut-elimination in Natural Deduction corresponds exactly to β-reduction in λ-calculus. <span class="searchmatch">alpha</span> <span class="searchmatch">conversion</span> eta <span class="searchmatch">conversion</span>...
calculus" are commonly used, and mean the same thing. <span class="searchmatch">alpha</span> <span class="searchmatch">conversion</span> beta reduction eta <span class="searchmatch">conversion</span> lambda term simply typed lambda calculus typed lambda...
(international standards) ISO 3166-1 <span class="searchmatch">alpha</span>-2 country code for the Turks and Caicos Islands. Synonym: TCA (<span class="searchmatch">alpha</span>-3) TC (plural TCs) (electronics) Initialism...
variant <span class="searchmatch">alpha</span> version beta version Boston version CliffsNotes version cover version e-version instrumental version podalic version pre-<span class="searchmatch">alpha</span> version Reader's...
From Byzantine Greek ἀχειροποίητον (akheiropoíēton), from ἀ- (a-, “a-, the <span class="searchmatch">alpha</span> privative”) + χείρ (kheír, “hand”) + ποιεῖν (poieîn, “to make”). (Received...