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
Platidiam
- An inorganic water-soluble platinum complex. After undergoing hydrolysis, it reacts DNA produce both intra interstrand crosslinks. These crosslinks appear to impair replication and transcription of DNA. The cytotoxicity cisplatin correlates with cellular arrest in G2 phase cell cycle.