In Chomsky’s Government and Binding theory, a syntactic representation of particular anaphoric relations, described by binding theory. A node A binds a node B when A c-commands B, and A and B are co-indexed. If binding occurs and B is not a trace...

In computer programming, a free variable is a variable referred to in a function that is not a local variable or an argument of that function. In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer...