Product-free Lambek calculus and context-free grammars (1997)

by M Pentus
Venue:Journal of Symbolic Logic