Anaphora and Type Logical Grammar

Comprehensive type logical treatment of the interaction of anaphora, ellipsis and quantification First categorial analysis of the interaction of anaphora and indefiniteness Can be read as an introduction into type logical grammar in general