Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework

Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from

First published in 1983, this book examines anaphora — a central issue in linguistic theory as it lies at the crossroads of several major problems. On the one