Concept
Joachim Lambek
Overview
German mathematician
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Formal language
- Germany
- Springer Science+Business Media
- Leipzig
- Emeritus
- Mathematician
- Group (mathematics)
- Doctor of Philosophy
- Sequent calculus
- Canada
- Computer science
- Category theory
- Cambridge University Press
- McGill University
- Categorial grammar
Place in the tradition
Part of Type theory.