М. Е. Вишникин, “Базовые категориальные грамматики с однозначным присвоением типов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 2, 64–67; M. E. Vishnikin, “Unique typed basic categorial grammars”, Moscow University Mathematics Bulletin, 77:2 (2022), 93–96
С. Л. Кузнецов, Н. С. Рыжкова, “Ограниченный фрагмент исчисления Ламбека с операциями итерации и пересечения”, Алгебра и логика, 59:2 (2020), 190–214; S. L. Kuznetsov, N. S. Ryzhkova, “A restricted fragment of the Lambek calculus with iteration and intersection operations”, Algebra and Logic, 59:2 (2020), 129–146
С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Труды МИАН, 294, МАИК «Наука/Интерпериодика», М., 2016, 141–151; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138
С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Труды МИАН, 290, МАИК «Наука/Интерпериодика», М., 2015, 72–79; S. L. Kuznetsov, “On translating context-free grammars into Lambek grammars”, Proc. Steklov Inst. Math., 290:1 (2015), 63–69