The combinatory rules in B&K-CCG, given in Figure 4, are defined to be sensitive to the slash types.
slashes with the types˘and can only be eliminated by harmonic and crossed compositions, respectively.