Frontmatter -- Contents -- Introduction -- Type Theory with Records and unification-based grammar -- One-letter automata: How to reduce k tapes to one -- Two aspects of situated meaning -- Further excursions in natural logic: The Mid-Point Theorems -- On the logic of LGB type structures. Part I: Multidominance structures -- Completeness theorems for syllogistic fragments -- Backmatter