Normal Form Theorem Proving for the Lambek Calculus

Mark Hepple |

Paper Details:


Year: 1990

Venue: COLING |