Categories and types in logic, language, and physics
Subtitle: essays dedicated to Jim Lambek on the occasion of his 90th birthday
By: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.).
Contributors: Lambek, Jim, honoree
Series: Festschrift; Lecture Notes in Computer Science -- 8222; LNCS sublibrary. SL 1, Theoretical computer science and general issues; Lecture notes in computer science; Lecture notes in computer science -- 8222.; LNCS sublibrary
Publisher: Springer
Published: 2014
Place of publication: Heidelberg; New York
Language: eng
Number of pages: 420
ISBN-13: 9783642547881; 9783642547898
Copyright date: 2014
Subjects: Mathematics; Symbolic and mathematical Logic; Computer science
Notes: Includes bibliographical references.