beta reduce

beta reduce
To syntactically replace a function call by the result of calling that function.

The term can beta reduce to .


Wikipedia foundation.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

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

  • Beta bloqueantes — Saltar a navegación, búsqueda Representación esquelética del propranolol, el primer betabloqueante clínico. En farmacología, los betabloqueantes (escrito β bloqueantes) son una clase de medicamentos usados para varias indicaciones, en particular… …   Wikipedia Español

  • Beta bloqueadores — Saltar a navegación, búsqueda Representación esquelética del propranolol, el primer betabloqueante clínico. En farmacología, los beta bloqueadores (escrito β bloqueadores) son una clase de medicamentos usados para varias indicaciones, en… …   Wikipedia Español

  • beta blocker — beta adrenergic blocker a drug that prevents stimulation of the beta adrenoceptors at the nerve endings of the sympathetic nervous system. Blockade of β1 receptors causes a decrease in heart rate and force; blockade of β2 receptors causes… …   The new mediacal dictionary

  • Beta cloth — is a type of fireproof silica fiber cloth used in the manufacture of space suit, Thermal Micrometeoroid Garments and in other specialized applications.Beta cloth consists of fine woven silica fiber, similar to fiberglass. The resulting product… …   Wikipedia

  • beta blocker — beta blocking, adj. Pharm. any of various substances that interfere with the action of the beta receptors: used primarily to reduce the heart rate or force in the prevention, management, or treatment of angina, hypertension, or arrythmias. Also,… …   Universalium

  • beta blocker — ► NOUN ▪ a drug which prevents increased cardiac action, used to treat angina and reduce high blood pressure …   English terms dictionary

  • Beta blocker — A class of drugs that block beta adrenergic substances such as adrenaline (epinephrine), a key agent in the sympathetic portion of the autonomic (involuntary) nervous system. By blocking the action of the sympathetic nervous system on the heart,… …   Medical dictionary

  • Beta adrenergic blocking drugs — A class of drugs, also called beta blockers, that block beta adrenergic substances such as adrenaline (epinephrine), a key agent in the sympathetic portion of the autonomic (involuntary) nervous system. By blocking the action of the sympathetic… …   Medical dictionary

  • Beta-glucan — Diagram showing orientation and location of different beta glucan linkages …   Wikipedia

Share the article and excerpts

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