A Compilation-Chart Method for Linear Categorial Deduction.

Mark Hepple

Browse the full COLING paper archive.