@misc{indiciaef5a83e5faff2,
  title = {Higher-order Linear Logic Programming of Categorial Deduction},
  author = {Glyn Morrill},
  year = {1995},
  url = {https://arxiv.org/abs/cmp-lg/9502016},
  note = {Source identifier: cmp-lg/9502016}
}