Tags: free-variable variable math concept
See also
FreeVariable (python class) | python sample | variable (generalization)
(…) 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]