Combinatory Categorial Grammar

A lexicalized categorial grammar formalism that augments basic categorial types with a small set of combinatory rules (forward/backward application, composition, type‑raising, etc.) so that rich syntactic phenomena (coordination, extraction, non‑canonical order) are derived from lexical categories plus combinators, yielding highly transparent syntax–semantics mappings.