LEADER 04525nam 22007455 450 001 9910484856503321 005 20230816222809.0 010 $a3-642-54789-3 024 7 $a10.1007/978-3-642-54789-8 035 $a(CKB)3710000000106786 035 $a(DE-He213)978-3-642-54789-8 035 $a(SSID)ssj0001204825 035 $a(PQKBManifestationID)11962950 035 $a(PQKBTitleCode)TC0001204825 035 $a(PQKBWorkID)11181038 035 $a(PQKB)11078141 035 $a(MiAaPQ)EBC3093578 035 $a(PPN)178320323 035 $a(EXLCZ)993710000000106786 100 $a20140403d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCategories and Types in Logic, Language, and Physics $eEssays dedicated to Jim Lambek on the Occasion of this 90th Birthday /$fedited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 421 p. 61 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8222 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-54788-5 320 $aIncludes bibliographical references. 327 $aSemantic Unification: A Sheaf Theoretic Approach to Natural Language -- On Residuation -- Type Similarity for the Lambek-Grishin Calculus Revisited -- NP-Completeness 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 -- Multi-Sorted 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 -- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents -- A Note on Multidimensional Dyck Languages -- Extended Lambek Calculi and First-Order Linear Logic -- A Categorial Type Logic -- Chasing Diagrams in Cryptography -- The Monotone Lambek Calculus Is NP-Complete -- A Mathematical Analysis of Masaccio?s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. 330 $aFor 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8222 606 $aMachine theory 606 $aComputer science 606 $aComputers?History 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aHistory of Computing 606 $aComputer Science 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputers?History. 615 14$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aHistory of Computing. 615 24$aComputer Science. 676 $a511.3 702 $aLambek$b Joachim 702 $aCasadio$b Claudia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCoecke$b Bob$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoortgat$b Michael$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aScott$b Philip J.$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484856503321 996 $aCategories and Types in Logic, Language, and Physics$92829782 997 $aUNINA