Lambek grammars are context-free (1993)

by M Pentus
Venue:In: Logic in Computer Science, IEEE Computer