TY  - CONF

T1  - Normal Form Theorem Proving for the Lambek Calculus.

JO  - COLING

UR  - http://aclweb.org/anthology/C/C90/

PY  - 1990/01/01

AU  - Hepple M

ED  - 

SP  - 173

EP  - 178

Y2  - 2024/12/25

ER  -