Preller, Anne; Lambek, Joachim Free compact 2-categories. (English) Zbl 1151.18007 Math. Struct. Comput. Sci. 17, No. 2, 309-340 (2007). Reviewer: Georges Hoff (Villetaneuse) MSC: 18D05 18D10 03B99 18A15 20F10 68Q42 PDFBibTeX XMLCite \textit{A. Preller} and \textit{J. Lambek}, Math. Struct. Comput. Sci. 17, No. 2, 309--340 (2007; Zbl 1151.18007) Full Text: DOI
Lambek, J. An equational variant of Lawvere’s natural numbers object. (English) Zbl 0963.18004 J. Pure Appl. Algebra 154, No. 1-3, 265-272 (2000). Reviewer: Peter T.Johnstone (Cambridge) MSC: 18C99 03G30 18D15 18B99 PDFBibTeX XMLCite \textit{J. Lambek}, J. Pure Appl. Algebra 154, No. 1--3, 265--272 (2000; Zbl 0963.18004) Full Text: DOI
Lambek, Joachim Deductive systems and categories in linguistics. (English) Zbl 0960.03022 Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 279-294 (1999). Reviewer: Mirosława Kołowska-Gawiejnowicz (Poznań) MSC: 03B65 03G30 18D10 68Q42 PDFBibTeX XMLCite \textit{J. Lambek}, Trends Log. Stud. Log. Libr. 5, 279--294 (1999; Zbl 0960.03022)
Lambek, J. Fixpoints revisited. (English) Zbl 0688.18005 Logic at Botik, Proc. Symposium on logical foundations of computer science, Pereslavl-Zalessky/USSR 1989, Lect. Notes Comput. Sci. 363, 200-207 (1989). Reviewer: S.V.Solov’ev MSC: 18D15 PDFBibTeX XML
Lambek, J. Multicategories revisited. (English) Zbl 0685.18003 Categories in computer science and logic, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1987, Contemp. Math. 92, 217-239 (1989). Reviewer: A.Kock MSC: 18A15 03F05 18D15 18D05 03B40 68N20 03B65 PDFBibTeX XML
Lambek, J.; Scott, P. J. Introduction to higher order categorical logic. 1st paperback ed. (with corrections). (English) Zbl 0642.03002 Cambridge Studies in Advanced Mathematics, 7. Cambridge (UK) etc.: Cambridge University Press. ix, 293 p. $ 24.95; £12.50 (1988). MSC: 03-02 18-02 03G30 03F50 03B40 03B15 18A15 18B25 18D15 18-01 03-01 PDFBibTeX XMLCite \textit{J. Lambek} and \textit{P. J. Scott}, Introduction to higher order categorical logic. 1st paperback ed. (with corrections). Cambridge (UK) etc.: Cambridge University Press (1988; Zbl 0642.03002)
Lambek, J.; Scott, P. J. Introduction to higher order categorical logic. (English) Zbl 0596.03002 Cambridge Studies in Advanced Mathematics, 7. Cambridge etc.: Cambridge University Press. IX, 293 p. £30.00; $ 49.50 (1986). Reviewer: P.T.Johnstone MSC: 03-02 18-02 03G30 03F50 03B40 03B15 18A15 18B25 18D15 18-01 03-01 PDFBibTeX XML
Lambek, J.; Rattray, B. A. Localization and sheaf reflectors. (English) Zbl 0339.18002 Stud. Algebra Anwend. 1; univers. Algebren Theorie Radikal., 29-30 (1976). MSC: 18A40 18F20 18C15 18D15 PDFBibTeX XML
Lambek, J.; Rattray, B. A. Localization and sheaf reflectors. (English) Zbl 0316.18005 Trans. Am. Math. Soc. 210, 279-293 (1975). MSC: 18A40 18C15 18D15 18F20 PDFBibTeX XMLCite \textit{J. Lambek} and \textit{B. A. Rattray}, Trans. Am. Math. Soc. 210, 279--293 (1975; Zbl 0316.18005) Full Text: DOI