Bøger af Richard T. Oehrle

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.