BOUND VARIABLE
\bˈa͡ʊnd vˈe͡əɹɪəbə͡l], \bˈaʊnd vˈeəɹɪəbəl], \b_ˈaʊ_n_d v_ˈeə_ɹ_ɪ__ə_b_əl]\
Sort: Oldest first
-
1. A bound variable or formal argument in a functiondefinition is replaced by the actual argument when thefunction is applied. In the lambda abstraction\ x . Mx is the bound variable. However, x is a free variable ofthe term M when M is considered on its own. M is the scopeof the binding of x.2. In logic a bound variable is a quantified variable. Seequantifier.
By Denis Howe
Word of the day
Dopamine Acetyltransferase
- An enzyme that catalyzes the of groups from acetyl-CoA to arylamines. They have wide specificity for aromatic amines, particularly serotonin, and can also catalyze acetyl transfer between arylamines without CoA. EC 2.3.1.5.