Higher-order Linear Logic Programming of Categorial Deduction | Publicación