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