We show how difference lists can be used for systematically compiled linear clauses for Lambek categorial grammar and its generalisations, in analogy with standard Horn clauses for CF grammar. We also consider use of difference bags for partitioning of linear sequents, and methods for ambiguity and polymorphism.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org