Bound Variable

From GM-RKB
Jump to: navigation, search

A bound variable is a mathematical variable with a value (by a variable binding operation).



References

2011