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
