Joachim Lambek (usually called Jim) is a mathematician, logician, language theoretician, …, who is based in McGill university.
lambda-calculus
initial algebra
(probably others)