Normal Form Theorem Proving for the Lambek Calculus - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mark Hepple. Normal Form Theorem Proving for the Lambek Calculus. In COLING. pages 173-178, 1990. [doi]

@inproceedings{Hepple90,
  title = {Normal Form Theorem Proving for the Lambek Calculus},
  author = {Mark Hepple},
  year = {1990},
  url = {http://acl.ldc.upenn.edu/C/C90/C90-2030.pdf},
  researchr = {https://researchr.org/publication/Hepple90},
  cites = {0},
  citedby = {0},
  pages = {173-178},
  booktitle = {COLING},
}

runs on WebDSL