LEADER 00000nam a22005535i 4500 
001    978-3-642-54789-8 
003    DE-He213 
005    20151204143133.0 
007    cr nn 008mamaa 
008    140403s2014    gw |    s    |||| 0|eng d 
020    9783642547898|9978-3-642-54789-8 
024 7  10.1007/978-3-642-54789-8|2doi 
040    |dES-ZaU 
072  7 UYA|2bicssc 
072  7 MAT018000|2bisacsh 
072  7 COM051010|2bisacsh 
082 04 005.131|223 
245 00 Categories and Types in Logic, Language, and Physics
       |h[electronic resource] :|bEssays Dedicated to Jim Lambek 
       on the Occasion of His 90th Birthday /|cedited by Claudia 
       Casadio, Bob Coecke, Michael Moortgat, Philip Scott. 
264  1 Berlin, Heidelberg :|bSpringer Berlin Heidelberg :
       |bImprint: Springer,|c2014. 
300    XII, 421 p. 61 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture Notes in Computer Science,|x0302-9743 ;|v8222 
490 0  Springer eBooks.|aComputer Science 
505 0  Semantic 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 Masacció鳠Trinity 
       -- Conjoin ability in 1-Discontinuous Lambek Calculus -- 
       The Hidden Structural Rules of the Discontinuous Lambek 
       Calculus. 
520    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. 
650  0 Computer science. 
650  0 Computers. 
650  0 Computer logic. 
650  0 Mathematical logic. 
650 14 Computer Science. 
650 24 Mathematical Logic and Formal Languages. 
650 24 Computation by Abstract Devices. 
650 24 Logics and Meanings of Programs. 
650 24 History of Computing. 
650 24 Computer Science, general. 
700 1  Casadio, Claudia.,|eeditor. 
700 1  Coecke, Bob.,|eeditor. 
700 1  Moortgat, Michael.,|eeditor. 
700 1  Scott, Philip.,|eeditor. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783642547881 
830  0 Lecture Notes in Computer Science,|x0302-9743 ;|v8222 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-642-54789-8|zAcceso al texto 
       completo