Perhaps surprisingly, it is not the availability of generalized composition rules by itself that explains the generative power of CCG, but the ability to constrain the interaction between generalized composition and function application by means of target restrictions.
one may be interested in CCG primarily as a formalism for developing grammars for natural languages (Steedman 2000;Baldridge 2002;Steedman 2012).