Slavnov, Sergey On embedding Lambek calculus into commutative categorial grammars. (English) Zbl 07582715 J. Log. Comput. 32, No. 3, 479-517 (2022). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{S. Slavnov}, J. Log. Comput. 32, No. 3, 479--517 (2022; Zbl 07582715) Full Text: DOI arXiv
Kandulski, Maciej Categorial grammars and tree languages. (English) Zbl 1057.03018 J. Log. Comput. 14, No. 2, 205-214 (2004). MSC: 03B47 68Q42 68Q45 PDFBibTeX XMLCite \textit{M. Kandulski}, J. Log. Comput. 14, No. 2, 205--214 (2004; Zbl 1057.03018) Full Text: DOI