Free variables and bound variables https://en.wikipedia.org/wiki/Free_variables_and_bound_variablesarrow-up-right
Free parameter https://en.wikipedia.org/wiki/Free_parameterarrow-up-right
Substitution https://en.wikipedia.org/wiki/Substitution_(algebraarrow-up-right)
Last updated 4 years ago