One: Montague Grammar -- Two: Logic of Types and Types of Logic -- Three: Categorial Grammar -- Four: Enriching Categorial Grammar -- Five: Intensionality and Binding -- Six: Polymorphism -- Seven: Structural Control -- Eight: Extraction -- Nine: Conclusion -- Appendix A: Interpretation of Types -- Appendix B: Gentzen Sequent Rules -- Appendix C: Summary Grammar.