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 24, 2015 10:25:11
by Urs Schreiber
(195.113.30.252)