A Logical Basis for the D Combinator and Normal Form in CCG
Type-Inheritance Combinatory Categorial Grammar