[1] : The Free On-line Dictionary of Computing (27 SEP 03)

bound variable
     
        1. a bound variable or formal argument in a function
        definition is replaced by the actual argument when the
        function is applied.  in the lambda abstraction
     
        	\ x . m
     
        x is the bound variable.  however, x is a free variable of
        the term m when m is considered on its own.  m is the scope
        of the binding of x.
     
        2. in logic a bound variable is a quantified variable.  see
        quantifier.
     
     
see also:
formal argument actual argument lambda abstraction free variable scope quantifier 

Bound >> B Words
Bound, definition of term: Bound
bound_pag1.html

Bound Morpheme >> B Words
Bound Morpheme, definition of term: Bound Morpheme
bound+morpheme_pag1.html