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

Revised on June 29, 2014 19:39:36
by Colin Zwanziger
(131.111.243.143)