The Resource 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 (eds.)
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 (eds.)
Resource Information
The item 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 (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item 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 (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 Summary
 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
 Language
 eng
 Extent
 1 online resource (xii, 421 pages)
 Contents

 Semantic Unification: A Sheaf Theoretic Approach to Natural Language
 On Residuation
 Type Similarity for the LambekGrishin Calculus Revisited
 NPCompleteness of Grammars Based Upon Products of Free Pregroups
 Distributional Semantics: A Montagovian View
 A Logical Basis for Quantum Evolution and Entanglement
 Learning Lambek Grammars from Proof Frames
 MultiSorted Residuation
 Italian Clitic Patterns in Pregroup Grammar: State of the Art
 On Associative Lambek Calculus Extended with Basic Proper Axioms
 Classical Structures Based on Unitaries
 Initial Algebras of Terms with Binding and Algebraic Structure
 Abstract Tensor Systems as Monoidal Categories
 On Canonical Embeddings of Residuated Groupoids
 LCompleteness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents
 A Note on Multidimensional Dyck Languages
 Extended Lambek Calculi and FirstOrder Linear Logic
 A Categorial Type Logic
 Chasing Diagrams in Cryptography
 The Monotone Lambek Calculus Is NPComplete
 A Mathematical Analysis of Masaccio's Trinity
 Conjoin ability in 1Discontinuous Lambek Calculus
 The Hidden Structural Rules of the Discontinuous Lambek Calculus
 Isbn
 9783642547898
 Label
 Categories and types in logic, language, and physics : essays dedicated to Jim Lambek on the occasion of his 90th birthday
 Title
 Categories and types in logic, language, and physics
 Title remainder
 essays dedicated to Jim Lambek on the occasion of his 90th birthday
 Statement of responsibility
 Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott (eds.)
 Language
 eng
 Summary
 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
 Dewey number
 005.13/1
 Illustrations
 illustrations
 Index
 no index present
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorName

 Casadio, C.
 Lambek, Jim,
 Series statement

 Festschrift
 Lecture Notes in Computer Science,
 LNCS sublibrary. SL 1, Theoretical computer science and general issues
 Series volume
 8222
 http://library.link/vocab/subjectName

 Logic, Symbolic and mathematical
 Computer science
 Label
 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 (eds.)
 Antecedent source
 unknown
 Color
 multicolored
 Contents
 Semantic Unification: A Sheaf Theoretic Approach to Natural Language  On Residuation  Type Similarity for the LambekGrishin Calculus Revisited  NPCompleteness of Grammars Based Upon Products of Free Pregroups  Distributional Semantics: A Montagovian View  A Logical Basis for Quantum Evolution and Entanglement  Learning Lambek Grammars from Proof Frames  MultiSorted Residuation  Italian Clitic Patterns in Pregroup Grammar: State of the Art  On Associative Lambek Calculus Extended with Basic Proper Axioms  Classical Structures Based on Unitaries  Initial Algebras of Terms with Binding and Algebraic Structure  Abstract Tensor Systems as Monoidal Categories  On Canonical Embeddings of Residuated Groupoids  LCompleteness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents  A Note on Multidimensional Dyck Languages  Extended Lambek Calculi and FirstOrder Linear Logic  A Categorial Type Logic  Chasing Diagrams in Cryptography  The Monotone Lambek Calculus Is NPComplete  A Mathematical Analysis of Masaccio's Trinity  Conjoin ability in 1Discontinuous Lambek Calculus  The Hidden Structural Rules of the Discontinuous Lambek Calculus
 Control code
 ocn877074575
 Dimensions
 unknown
 Extent
 1 online resource (xii, 421 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642547898
 Isbn Type
 (electronic bk.)
 Level of compression
 unknown
 Other control number
 10.1007/9783642547898
 Other physical details
 illustrations (some color)
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)877074575
 Label
 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 (eds.)
 Antecedent source
 unknown
 Color
 multicolored
 Contents
 Semantic Unification: A Sheaf Theoretic Approach to Natural Language  On Residuation  Type Similarity for the LambekGrishin Calculus Revisited  NPCompleteness of Grammars Based Upon Products of Free Pregroups  Distributional Semantics: A Montagovian View  A Logical Basis for Quantum Evolution and Entanglement  Learning Lambek Grammars from Proof Frames  MultiSorted Residuation  Italian Clitic Patterns in Pregroup Grammar: State of the Art  On Associative Lambek Calculus Extended with Basic Proper Axioms  Classical Structures Based on Unitaries  Initial Algebras of Terms with Binding and Algebraic Structure  Abstract Tensor Systems as Monoidal Categories  On Canonical Embeddings of Residuated Groupoids  LCompleteness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents  A Note on Multidimensional Dyck Languages  Extended Lambek Calculi and FirstOrder Linear Logic  A Categorial Type Logic  Chasing Diagrams in Cryptography  The Monotone Lambek Calculus Is NPComplete  A Mathematical Analysis of Masaccio's Trinity  Conjoin ability in 1Discontinuous Lambek Calculus  The Hidden Structural Rules of the Discontinuous Lambek Calculus
 Control code
 ocn877074575
 Dimensions
 unknown
 Extent
 1 online resource (xii, 421 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9783642547898
 Isbn Type
 (electronic bk.)
 Level of compression
 unknown
 Other control number
 10.1007/9783642547898
 Other physical details
 illustrations (some color)
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)877074575
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/Categoriesandtypesinlogiclanguageand/PjuMX3KxupA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/Categoriesandtypesinlogiclanguageand/PjuMX3KxupA/">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 (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item 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 (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/Categoriesandtypesinlogiclanguageand/PjuMX3KxupA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/Categoriesandtypesinlogiclanguageand/PjuMX3KxupA/">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 (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>