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
Prinzmetal Angina
- A clinical syndrome characterized by development of CHEST PAIN at rest concomitant transient ST segment elevation in the electrocardiogram, but with preserved exercise capacity.
Nearby Words
- bound form
- bound morpheme
- bound off
- bound tariff rate
- bound up
- bound variable
- b
- b 518
- b battery
- b c
- b cell