121
click to vote
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper the Chomsky Conjecture is proved: all languages recognized by the Lambek calculus are context free.