Tags: bound-variable variable math concept
See also
variable
(…) 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]