Categories and types in logic, language, and physics essays dedicated to Jim Lambek on the occasion of his 90th birthday /
For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give...
|Other Authors:||Casadio, C., Lambek, Jim,, SpringerLink (Online service)|
1 online resource (xii, 421 pages) : illustrations (some color).
Lecture notes in computer science. Festschrift.
Lecture notes in computer science ; 8222.
LNCS sublibrary. Theoretical computer science and general issues.