Type-Theoretical Grammar

1. Preliminary remarks 2. Gradual introduction to type theory 3. Logical operators in English 4. Anaphoric expressions 5. Temporal reference 6. Text and discourse 7. Context and possible worlds 8. Higher-level type theory 9. Sugaring and parsing Appendix Sugaring in ALF Bibliography Index