Normal Form Theorem Proving for the Lambek Calculus.

Mark Hepple

Browse the full COLING paper archive.