Type Logical Grammar: Categorial Logic of Signs
Glyn V. Morrill · Medical Entomology and Zoology · 2011
Notational Conventions. Foreword. 1. Montague Grammar. 2. Logic of Types and Types of Logic. 3. Categorial Grammar. 4. Enriching Categorial Grammar. 5. Intensionality and Binding. 6. Polymorphism. 7. Structural Control. 8. Extraction. 9. Conclusion. Appendix A: Interpretation of types. Appendix B: Gentzen Sequent Rules. Appendix C: Summary Grammar. Bibliography. Index.