Lambek, Joachim Logic and grammar. (English) Zbl 1283.03061 Stud. Log. 100, No. 4, 667-681 (2012). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B65 03B47 PDFBibTeX XMLCite \textit{J. Lambek}, Stud. Log. 100, No. 4, 667--681 (2012; Zbl 1283.03061) Full Text: DOI
Lambek, Joachim Should pregroup grammars be adorned with additional operations? (English) Zbl 1155.03013 Stud. Log. 87, No. 2-3, 343-358 (2007). Reviewer: Solomon Marcus (Bucureşti) MSC: 03B65 PDFBibTeX XMLCite \textit{J. Lambek}, Stud. Log. 87, No. 2--3, 343--358 (2007; Zbl 1155.03013) Full Text: DOI
Lambek, Joachim; Scott, Philip An exactification of the monoid of primitive recursive functions. (English) Zbl 1096.03048 Stud. Log. 81, No. 1, 1-18 (2005). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03D20 03G30 PDFBibTeX XMLCite \textit{J. Lambek} and \textit{P. Scott}, Stud. Log. 81, No. 1, 1--18 (2005; Zbl 1096.03048) Full Text: DOI
Casadio, Claudia; Lambek, Joachim A tale of four grammars. (English) Zbl 1011.03016 Stud. Log. 71, No. 3, 315-329 (2002). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03B65 03B47 PDFBibTeX XMLCite \textit{C. Casadio} and \textit{J. Lambek}, Stud. Log. 71, No. 3, 315--329 (2002; Zbl 1011.03016) Full Text: DOI
Lambek, J. On some connections between logic and category theory. (English) Zbl 0706.18001 Stud. Log. 48, No. 3, 269-278 (1989). Reviewer: D.Busneag MSC: 18A15 18C10 03G30 PDFBibTeX XMLCite \textit{J. Lambek}, Stud. Log. 48, No. 3, 269--278 (1989; Zbl 0706.18001) Full Text: DOI