Overview
- Dedicated to Jim Lambek, a profoundly inspirational mathematician, whose contributions cover an extraordinarily large range of topics, from mathematics to linguistics to physics
- Contains papers by leading researchers in the fields of algebra, category theory, linguistics, theoretical physics, logic and proof theory
- Preface contains some personal recollections, describing different ways the editors of this book have come to know Jim Lambek
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8222)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (23 chapters)
Editors and Affiliations
Bibliographic Information
Book Title: Categories and Types in Logic, Language, and Physics
Book Subtitle: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Editors: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-54789-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2014
Softcover ISBN: 978-3-642-54788-1Published: 17 March 2014
eBook ISBN: 978-3-642-54789-8Published: 03 April 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 421
Number of Illustrations: 61 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Computation by Abstract Devices, Logics and Meanings of Programs, History of Computing, Computer Science, general