Higher-order Linear Logic Programming of Categorial Deduction - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Glyn Morrill. Higher-order Linear Logic Programming of Categorial Deduction. In EACL. pages 133-140, 1995. [doi]

@inproceedings{Morrill95:0,
  title = {Higher-order Linear Logic Programming of Categorial Deduction},
  author = {Glyn Morrill},
  year = {1995},
  url = {http://ucrel.lancs.ac.uk/acl/E/E95/E95-1019.pdf},
  tags = {logic programming, programming, logic},
  researchr = {https://researchr.org/publication/Morrill95%3A0},
  cites = {0},
  citedby = {0},
  pages = {133-140},
  booktitle = {EACL},
}

runs on WebDSL