Higher-order patterns are lambda-terms where the arguments of a free variable are all distinct bound variables.
22.
In linguistics, the occurrence of bound variable pronouns is important for the study of the syntax and semantics of pronouns.
23.
(40 ), an example of possessor raising, is used when the absence of a bound variable causes ungrammaticality.
24.
With the bound variables x _ { k + 1 }, \ ldots, x _ m being called undistinguished variables.
25.
As previously stated, a bound variable pronoun is said to be bound if it is c-commanded by its antecedent.
26.
That is, when two or more expressions are coindexed, it indicates that one is dealing with coreference or a bound variable.
27.
This notation is in conflict with the use of \ lambda in lambda calculus, where lambda is used to denote bound variables.
28.
An embedded v would start with a relative pronoun in specifier position, which would later be followed by a bound variable interpretation.
29.
This rule is abbreviated as Pro?! BV, where Pro stands for pronoun, and BV stands for bound variable.
30.
While bound variable pronouns fall into the category of anaphora, there are cases in which bound variable pronouns behave differently from regular anaphora.
