beta reduction

beta reduction
The act of beta reducing, an instance of replacing a function call by the result of calling a function.

Wikipedia foundation.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Beta — may refer to: *Beta (β), the second letter of the Greek alphabetIn finance: * Beta coefficient in Capital Asset Pricing ModelIn mathematics: * Beta function in mathematics * Beta distribution in statistics * False negative rate in statistics *… …   Wikipedia

  • Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… …   Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • Beta blocker — Beta blockers Drug class Skeletal formula of propranolol, the first clinically successful beta blocker ATC code C07 …   Wikipedia

  • Beta-bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Beta-bloqueur — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Beta bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Beta bloqueur — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Béta-bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Bêta-bloquants — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”