substitution
Difference between "free variable" and "free occurrence of a variable" in context of lambda calculus
page:1 of 1 
main page
substitution