Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2014

Categories and Types in Logic, Language, and Physics

Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday

Editors:

  1. Claudia Casadio

    1. Department of Philosophy, Education and Quantitative Economics, Gabriele D’Annunzio University, Chieti, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bob Coecke

    1. Department of Computer Science, Oxford University, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael Moortgat

    1. Utrecht Institute of Linguistics OTS, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Philip Scott

    1. Department of Mathematics, University of Ottawa, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (23 chapters)

  1. Front Matter

    PDF

  2. Semantic Unification

    • Samson Abramsky, Mehrnoosh Sadrzadeh
    Pages 1-13

  3. On Residuation

    • V. Michele Abrusci
    Pages 14-27

  6. Distributional Semantics: A Montagovian View

    • Raffaella Bernardi
    Pages 63-89

  7. A Logical Basis for Quantum Evolution and Entanglement

    • Richard F. Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
    Pages 90-107

  8. Learning Lambek Grammars from Proof Frames

    • Roberto Bonato, Christian Retoré
    Pages 108-135

  9. Multi-Sorted Residuation

    • Wojciech Buszkowski
    Pages 136-155

  10. Italian Clitic Patterns in Pregroup Grammar: State of the Art

    • Claudia Casadio, Aleksandra Kiślak-Malinowska
    Pages 156-171

  12. Classical Structures Based on Unitaries

    • Peter Hines
    Pages 188-210

  13. Initial Algebras of Terms with Binding and Algebraic Structure

    • Bart Jacobs, Alexandra Silva
    Pages 211-234

  14. Abstract Tensor Systems as Monoidal Categories

    • Aleks Kissinger
    Pages 235-252

  15. On Canonical Embeddings of Residuated Groupoids

    • Mirosława Kołowska-Gawiejnowicz
    Pages 253-267

  17. A Note on Multidimensional Dyck Languages

    • Michael Moortgat
    Pages 279-296

  19. A Categorial Type Logic

    • Glyn Morrill
    Pages 331-352

  20. Chasing Diagrams in Cryptography

    • Dusko Pavlovic
    Pages 353-367
Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Philosophy, Education and Quantitative Economics, Gabriele D’Annunzio University, Chieti, Italy

    Claudia Casadio

  • Department of Computer Science, Oxford University, Oxford, UK

    Bob Coecke

  • Utrecht Institute of Linguistics OTS, Utrecht University, Utrecht, The Netherlands

    Michael Moortgat

  • Department of Mathematics, University of Ottawa, Ottawa, Canada

    Philip Scott

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation