TY  - RPRT
TI  - Higher-order Linear Logic Programming of Categorial Deduction
AU  - Glyn Morrill
PY  - 1995
UR  - https://arxiv.org/abs/cmp-lg/9502016
ID  - cmp-lg/9502016
ER  -