摘要: List of Tables. Preface. Acknowledgments. 1. TYPE LOGICAL GRAMMAR: THE FRAMEWORK. 1 Basic Categorial Grammar. 2 Combinators and Type Logical 3 Historical bibliographical remarks. 2. PROBLEM OF ANAPHORA. Anaphora semantic resource sensitivity. Variables in TLG. Previous approaches to anaphora. 4 Summary. 3. LAMBEK CALCULUS WITH LIMITED CONTRACTION. The agenda. Contraction? Logic LLC. Relation Jacobson's system. 4. PRONOUNS AND QUANTIFICATION. cases. Binding by wh -operators. quantifiers. Weak crossover. 5 Precedence versus c-command. 6 Backward binding reconstruction. 5. VERB PHRASE ELLIPSIS. Introduction. VPE: basic idea. Interaction with pronominal VPE quantification. Polymorphism. Parallelism source ambiguity. 6. INDEFINITES. Dekker's Predicate Anaphora. Bringing PLA into Donkey sentences. Indefinites scope. Sluicing. 7 Summary desiderata. References. Index.