While the pure CG only involved functional application rules for combining categories, CCG introduces several additional combinatory rules for both syntactic and semantic composition -forward and backward composition, and crossed composition, as well as substitution rules.
• If X and Y are signs X\Y is a complex sign.