Higher-order Linear Logic Programming of Categorial Deduction

Glyn Morrill. Higher-order Linear Logic Programming of Categorial Deduction. In EACL. pages 133-140, 1995. [doi]

Authors

Glyn Morrill

This author has not been identified. Look up 'Glyn Morrill' in Google