Resumen de Difference lists and difference bags for logic programming of categorial deduction

Glyn Morrill , Xavier Lloré

• We show how difference lists can de use for systematically compiled linear clauses fro 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.