Joachim Lambek

Joachim Lambek, (1922-2014), usually called Jim, was a mathematician, logician, theoretical linguist, …, based at McGill university.

- lambda-calculus/relation between type theory and category theory
- biclosed monoidal category
- initial algebra
- linguistics
- categorial grammar
- Introduction to Higher-Order Categorical Logic

category: people

Last revised on June 24, 2015 at 10:25:11. See the history of this page for a list of all contributions to it.