Higher-order Linear Logic Programming of Categorial Deduction Glyn Morrill author 1995-03 text Seventh Conference of the European Chapter of the Association for Computational Linguistics Steven P Abney editor Erhard W Hinrichs editor Association for Computational Linguistics Dublin, Ireland conference publication morrill-1995-higher https://aclanthology.org/E95-1019/ 1995-03