Normal Form Theorem Proving for the Lambek Calculus Mark Hepple author 1990 text COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics conference publication hepple-1990-normal https://aclanthology.org/C90-2030/ 1990