Difference lists and difference bags for logic programming of categorial deduction
F. Xavier Lloré, Glyn V. Morrill · 1995
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.