Lexically Specified Derivational Control in C ombinatory Categorial Grammar.
Jason Baldridge. University of Edinburgh. 2002.

Multi-Modal Combinatory Categorial Grammmar.
Baldridge Jason and Kruijff Geert-Jan M. EACL 2003

Categorial Grammar (CG) is a lexical approach in which expressions are assigned categories that specify how to combine with expressions to create larger expressions. An analysis of an expression proceeds by inference over the categories assigned to its individuatable parts. In a proof-theoretic versions of CG (such as type-logical CG) the inference tries to assign a given goal-category to the expression. Both in the type-logical variant of categorial grammar, and in combinatory categorial grammar (CCG), a semantic representation is built compositionally in parallel to the categorial inference. Recent proposals (such as Baldridge & Kruijff's multi-modal CCG) combine modal control over rule-applicability (Moortgat, Oehrle) with a small, universal set of rules (Steedman) to yield radically lexicalized forms of derivational control.