- Anthology ID:
- C90-2030
- Volume:
- COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics
- Month:
- Year:
- 1990
- Address:
- Venue:
- COLING
- SIG:
- Publisher:
- Note:
- Pages:
- Language:
- URL:
- https://aclanthology.org/C90-2030
- DOI:
- Cite (ACL):
- Mark Hepple. 1990. Normal Form Theorem Proving for the Lambek Calculus. In COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics.
- Cite (Informal):
- Normal Form Theorem Proving for the Lambek Calculus (Hepple, COLING 1990)
- PDF:
- https://preview.aclanthology.org/bionlp-24-ingestion/C90-2030.pdf