TY  - CONF

T1  - Normal Form Theorem Proving for the Lambek Calculus.

JO  - COLING

UR  - https://aclanthology.org/volumes/C90-1/

PY  - 1990/01/01

AU  - Hepple M

ED  - 

SP  - 173

EP  - 178

Y2  - 2025/11/23

ER  -