a module. His more recent work is in pregroups and formal languages; his earliest works in this field were probably and . 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, as well as for developing the connections between typed lambda calculus and cartesian closed categories (see Curry–Howard–Lambek correspondence). His last works were on pregroup grammar. Selected works Books Articles Reprinted in References External links Faculty profile of Joachim Lambek at McGill University Lambek festival (80th anniversary) 1922 births 2014 deaths 20th-century Canadian mathematicians 21st-century Canadian mathematicians 21st-century German mathematicians Algebraists Canadian logicians Category theorists Kindertransport refugees German emigrants to Canada