catflap.org Online Dictionary Query

  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.
       
       

  bound variable
     n.
     (lb en programming) A variable that is associated with a value, and
  therefore a variable that has an allocated storage location. If the
  programming language implements a representation of a canonical unknown
  value, infinity, etc., the value bound to the variable may be one of
  these.

  bound variable
     n.
     (lb en programming) A variable that is associated with a value, and
  therefore a variable that has an allocated storage location. If the
  programming language implements a representation of a canonical unknown
  value, infinity, etc., the value bound to the variable may be one of
  these.

  bound variable
     n.
     (lb en programming) A variable that is associated with a value, and
  therefore a variable that has an allocated storage location. If the
  programming language implements a representation of a canonical unknown
  value, infinity, etc., the value bound to the variable may be one of
  these.

  bound variable
     n.
     (lb en programming) A variable that is associated with a value, and
  therefore a variable that has an allocated storage location. If the
  programming language implements a representation of a canonical unknown
  value, infinity, etc., the value bound to the variable may be one of
  these.

  bound variable /bˈaʊnd vˈeəɹɪəbəl/ 
  束縛変数, 束縛変項
  variable that has an allocated storage location

  bound variable /bˈaʊnd vˈeəɹɪəbəl/ 
  bunden variabel
  in logic