bound variable

You are here: irt.org | FOLDOC | 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.

Nearby terms: boundary value analysis « bounded « boundedly complete « bound variable » bournebasic » Bourne shell » boustrophedonic

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb