Resource-Sensitivity, Binding and Anaphora - Geert-Jan M. Kruijff - Bog

But the fact that categorial grammars are type in ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con nection less apparent in the standard constructions of formal language theory.