Type Logical Grammar

Inhaltsverzeichnis

• 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.