Title: Logical types for natural language
Subjects: English language, Formal languages, Formalization (Linguistics), Mathematical linguistics, Semantics, Symbolic and mathematical Logic, Syntax, Language and languages, Language and logic