Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories. - Joachim Lambek (Math. Syst. Theory, 1968)

Intuitionist type theory and foundations. - Joachim Lambek; Philip J. Scott (J. Philos. Log., 1981)

New Proofs of Some Intuitionistic Principles. - Joachim Lambek; Philip J. Scott (Math. Log. Q., 1983)

Cartesian Closed Categories and Typed Lambda- calculi. - Joachim Lambek (Combinators and Functional Programming Languages, 1985)

Fixpoints Revisited. - Joachim Lambek (Logic at Botik, 1989)

On some connections between logic and category theory. - Joachim Lambek (Stud Logica, 1989)

Least Fixpoints of Endofunctors of Cartesian Closed Categories. - Joachim Lambek (Math. Struct. Comput. Sci., 1993)

Cut Elimination for Classical Bilinear Logic. - Joachim Lambek (Fundam. Informaticae, 1995)

Type Grammar Revisited. - Joachim Lambek (LACL, 1997)

Programs, grammars and arguments: a personal view of some connections between computation, language and logic. - Jim Lambek (Bull. Symb. Log., 1997)

Relations old and new (invited paper). - Joachim Lambek (RelMiCS, 1998)

Pregroups: A New Algebraic Approach to Sentence Structure. - Jim Lambek (Recent Topics in Mathematical and Computational Linguistics, 2000)

An Algebraic Approach to French Sentence Structure. - Daniele Bargelli; Joachim Lambek (LACL, 2001)

An Algebraic Analysis of Clitic Pronouns in Italian. - Claudia Casadio; Joachim Lambek (LACL, 2001)

Type Grammars as Pregroups. - Joachim Lambek (Grammars, 2001)

A Tale of Four Grammars. - Claudia Casadio; Joachim Lambek (Stud Logica, 2002)

What is the world of mathematics? - Joachim Lambek (Ann. Pure Appl. Log., 2004)

An Exactification of the Monoid of Primitive Recursive Functions. - Joachim Lambek; Philip J. Scott (Stud Logica, 2005)

From word to sentence: a pregroup analysis of the object pronoun who ( m ). - Joachim Lambek (J. Log. Lang. Inf., 2007)

Free compact 2-categories. - Anne Preller; Joachim Lambek (Math. Struct. Comput. Sci., 2007)

Should Pregroup Grammars be Adorned with Additional Operations? - Joachim Lambek (Stud Logica, 2007)

Pregroup Grammars and Chomsky's Earliest Examples. - Joachim Lambek (J. Log. Lang. Inf., 2008)

Exploring Feature Agreement in French with Parallel Pregroup Computations. - Joachim Lambek (J. Log. Lang. Inf., 2010)

Logic and Grammar. - Joachim Lambek (Stud Logica, 2012)