Abstract
A categorical grammar is a formal grammar based on the substrutural calculus of Joaquim Lambek. The phenomenon of anaphoric reference represents a challenge for a formal grammar, such as L, does not admit the structural rule of contraction and, therefore, does not admit re-using of lexical resources. In general, the grammatical structures called control structures do not represent an envi…