Sciweavers

LICS
1993
IEEE
15 years 1 months ago
Lambek Grammars Are Context Free
In this paper the Chomsky Conjecture is proved: all languages recognized by the Lambek calculus are context free.
Mati Pentus