Journal: Math. Log. Q.

Volume 31, Issue 24

369 -- 384Wojcßch Buszkowski. The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars