Tags: variable math concept
See also
bound-variable (specialization) | free-variable (specialization)
(…) As is usual in proof theory, our syntax assumes that free and bound variables are distinct syntactic categories. (…) [MGZ21, p. viii]
(…) As is usual in proof theory, our syntax assumes that free and bound variables are distinct syntactic categories. (…)
[MGZ21, p. viii]