| 11. | In the lambda calculus, x is a bound variable in the term M = ? x.
|
| 12. | Semanticists and logicians sometimes draw a distinction between coreference and what is known as a bound variable.
|
| 13. | This leads to the rule of semantic interpretation that takes pronouns and changes them into bound variables.
|
| 14. | Like in the free and bound variables is essential for the understanding of the meaning of types.
|
| 15. | Bound variables occur when the antecedent to the proform is an indefinite quantified expression, e . g.
|
| 16. | Regardless of the lack of c-command, the " bound variable " interpretation is nonetheless permissible.
|
| 17. | Alpha-conversion, sometimes known as alpha-renaming, allows bound variable names to be changed.
|
| 18. | While the distinction between coreference and bound variables may be real, coindexation can be construed as accommodating both.
|
| 19. | This pronoun is a bound variable pronoun because it does not refer to one single entity in the world.
|
| 20. | Ivan Sag proposed two Logical Forms, one of which the coreferential pronoun is replaced by a bound variable.
|
