On the contrary, a computational model based on a small set of primitives that combine via simple composition rules will be more flexible in practice and easier to implement.
in the type-logical approach, the syntactic contents of a lexical entry is outlined by the following patern: <atom> : <syntactic category> the semantic contents obeys the following scheme: <λ-term> : <semantic type> This asymmetry may be broken by: 1. allowing λ-terms on the syntactic side (atomic expressions being, after all, particular cases of λ-terms), 2. using the same type theory for expressing both the syntactic categories and the semantic types.