Categorial Grammar

A type‑driven grammatical framework in which words are assigned categories that denote functions or atomic types (e.g., S, NP, (S\NP)/NP), and syntactic composition proceeds by function–argument application and a small set of combinatory rules; categories directly determine how expressions combine and permit a transparent mapping to compositional semantics.