Sciweavers

81
Voted
LICS
1993
IEEE
15 years 3 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