https://aclanthology.org/C90-2030/
Normal Form Theorem Proving for the Lambek Calculus - ACL Anthology
Mark Hepple. COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics. 1990.
normal form theoremlambek calculusprovingaclanthology
https://aclanthology.org/A00-2010/
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets - ACL Anthology
Sylvain Pogodalla. 1st Meeting of the North American Chapter of the Association for Computational Linguistics. 2000.