Higher-order linear logic programming of categorial deduction | Publicación