Try Our Apps


WATCH "Lumbersexual"

bound variable

noun, Logic.
(in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier.
Compare free variable. Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2017.
Cite This Source
bound variable in Technology

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.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Difficulty index for bound variable

Few English speakers likely know this word

Word Value for bound

Scrabble Words With Friends

Nearby words for bound variable