Title: Type logical grammar
Subjects: Type theory, Categorial grammar, Montague grammar, Semantics (Philosophy), Semantics (philosophy)