Higher-order Linear Logic Programming of Categorial Deduction.

Glyn Morrill

Browse the full EACL paper archive.