Categories and Types in Logic, Language, and Physics

Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

  • Claudia Casadio
  • Bob Coecke
  • Michael Moortgat
  • Philip Scott

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8222)

Table of contents

  1. Front Matter
  2. Samson Abramsky, Mehrnoosh Sadrzadeh
    Pages 1-13
  3. V. Michele Abrusci
    Pages 14-27
  4. Raffaella Bernardi
    Pages 63-89
  5. Richard F. Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
    Pages 90-107
  6. Roberto Bonato, Christian Retoré
    Pages 108-135
  7. Wojciech Buszkowski
    Pages 136-155
  8. Claudia Casadio, Aleksandra Kiślak-Malinowska
    Pages 156-171
  9. Peter Hines
    Pages 188-210
  10. Bart Jacobs, Alexandra Silva
    Pages 211-234
  11. Aleks Kissinger
    Pages 235-252
  12. Mirosława Kołowska-Gawiejnowicz
    Pages 253-267
  13. Michael Moortgat
    Pages 279-296
  14. Glyn Morrill
    Pages 331-352
  15. Dusko Pavlovic
    Pages 353-367

About this book

Introduction

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 a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.

Keywords

algebra category theory linguistics proof theory theoretical physics

Editors and affiliations

  • Claudia Casadio
    • 1
  • Bob Coecke
    • 2
  • Michael Moortgat
    • 3
  • Philip Scott
    • 4
  1. 1.Department of Philosophy, Education and Quantitative EconomicsGabriele D’Annunzio UniversityChietiItaly
  2. 2.Department of Computer ScienceOxford UniversityOxfordUK
  3. 3.Utrecht Institute of Linguistics OTSUtrecht UniversityUtrechtThe Netherlands
  4. 4.Department of MathematicsUniversity of OttawaOttawaCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-54789-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54788-1
  • Online ISBN 978-3-642-54789-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book