Source: wikibot/joachim-lambek
= Joachim Lambek
{wiki=Joachim_Lambek}
Joachim Lambek was a Canadian mathematician and logician known for his contributions to the fields of mathematical logic and category theory, particularly in relation to the algebraic and categorical foundations of logic and computer science. One of his notable contributions is the development of Lambek calculus, a type of non-classical logic that is relevant in the study of syntactic structures in linguistics and in formal grammars.