Career
Lambek supervised 16 doctoral students, and has 51 doctoral descendants. He has over 100 publications listed in the Mathematical Reviews, including 6 books His earlier work was mostly in module theory, especially torsion theories, non-commutative localization, and injective modules.
One of his earliest papers, (Lambek & Moser 1954) proved the Lambek-Moser theorem about integer sequences.
His more recent work is in pregroups and formal languages. His earliest work in this field were probably (Lambek 1958) and (Lambek 1979).
He is noted, among other things, for the Lambek calculus, an effort to capture mathematical aspects of natural language syntax in logical form and a work that has been very influential in computational linguistics. His last works were on pregroup grammar.