All these results were technically restricted to the fragment of PF-CCG, and one focus of future work will be to extend them to as large a fragment of CCG as possible.
we plan to extend the lambda notation used in Figure 3 to cover typeraising and higher-order categories.