Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Categories and Types in Logic, Language, and Physics [[electronic resource] ] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
| Categories and Types in Logic, Language, and Physics [[electronic resource] ] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 421 p. 61 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computers—History Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming History of Computing Computer Science |
| ISBN | 3-642-54789-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Masaccio’s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
| Record Nr. | UNISA-996203614303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
| Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 421 p. 61 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer science Computers—History Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming History of Computing Computer Science |
| ISBN | 3-642-54789-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Masaccio’s Trinity -- Conjoin ability in 1-Discontinuous Lambek Calculus -- The Hidden Structural Rules of the Discontinuous Lambek Calculus. |
| Record Nr. | UNINA-9910484856503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [[electronic resource] ] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / / edited by Bob Coecke, Luke Ong, Prakash Panangaden
| Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [[electronic resource] ] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / / edited by Bob Coecke, Luke Ong, Prakash Panangaden |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 363 p. 26 illus.) |
| Disciplina | 303.4833 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Theory of Computation Formal Languages and Automata Theory Software Engineering Compilers and Interpreters |
| ISBN | 3-642-38164-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic and Concurrent Games -- Compositional Quantum Logic -- The Algebra of Directed Acyclic Graphs -- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits -- Payoffs, Intensionality and Abstraction in Games -- On the Theory of Composition in Physics -- On the Functor 2 -- Quantum Speedup and Categorical Distributivity -- Unifying Semantics for Concurrent Programming -- Unfixing the Fixpoint: The Theories of the λY -Calculus -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can Be Fixed -- Dialogue Categories and Frobenius Monoids -- Anatomy of a Domain of Continuous Random Variables II -- Towards Nominal Abramsky -- Techniques for Formal Modelling and Analysis of Quantum Systems -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions and Finality -- Breaking the Atom with Samson -- Reasoning about Strategies -- Domain Theory in Topical Form -- Kolmogorov Complexity of Categories. |
| Record Nr. | UNISA-996466181003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / / edited by Bob Coecke, Luke Ong, Prakash Panangaden
| Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / / edited by Bob Coecke, Luke Ong, Prakash Panangaden |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 363 p. 26 illus.) |
| Disciplina | 303.4833 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Theory of Computation Formal Languages and Automata Theory Software Engineering Compilers and Interpreters |
| ISBN | 3-642-38164-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic and Concurrent Games -- Compositional Quantum Logic -- The Algebra of Directed Acyclic Graphs -- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits -- Payoffs, Intensionality and Abstraction in Games -- On the Theory of Composition in Physics -- On the Functor 2 -- Quantum Speedup and Categorical Distributivity -- Unifying Semantics for Concurrent Programming -- Unfixing the Fixpoint: The Theories of the λY -Calculus -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can Be Fixed -- Dialogue Categories and Frobenius Monoids -- Anatomy of a Domain of Continuous Random Variables II -- Towards Nominal Abramsky -- Techniques for Formal Modelling and Analysis of Quantum Systems -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions and Finality -- Breaking the Atom with Samson -- Reasoning about Strategies -- Domain Theory in Topical Form -- Kolmogorov Complexity of Categories. |
| Record Nr. | UNINA-9910483887903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Structures for Physics [[electronic resource] /] / edited by Bob Coecke
| New Structures for Physics [[electronic resource] /] / edited by Bob Coecke |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XVIII, 1031 p.) |
| Disciplina | 530.15 |
| Collana | Lecture Notes in Physics |
| Soggetto topico |
Physics
Category theory (Mathematics) Homological algebra Computers Mathematical Methods in Physics Category Theory, Homological Algebra Theory of Computation |
| ISBN | 3-642-12821-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I An ABC on Compositionality -- Part II Manifestations of Linearity -- Part III More Example Applications -- Part IV Informatic Geometry -- Part V. Spatio-Temporal Geometry -- Part VI Geometry and Topology in Computation. |
| Record Nr. | UNISA-996466714703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
New structures for physics / / B. Coecke (ed.)
| New structures for physics / / B. Coecke (ed.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2011 |
| Descrizione fisica | 1 online resource (XVIII, 1031 p.) |
| Disciplina | 530.15 |
| Altri autori (Persone) | CoeckeBob |
| Collana | Lecture notes in physics |
| Soggetto topico | Physics |
| ISBN | 3-642-12821-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. An ABC on compositionality -- pt. 2. Manifestations of linearity -- pt. 3. More example applications -- pt. 4. Informatic geometry -- pt. 5. Spatio-temporal geometry -- pt. 6. Geometry and topology in computation. |
| Record Nr. | UNINA-9910140860503321 |
| New York, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantum Interaction [[electronic resource] ] : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / / edited by Bob Coecke, Ariane Lambert-Mogiliansky
| Quantum Interaction [[electronic resource] ] : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / / edited by Bob Coecke, Ariane Lambert-Mogiliansky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 193 p. 180 illus., 25 illus. in color.) |
| Disciplina | 530.12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Mathematical statistics Discrete mathematics Machine theory Information storage and retrieval systems Theory of Computation Probability and Statistics in Computer Science Discrete Mathematics in Computer Science Formal Languages and Automata Theory Information Storage and Retrieval |
| ISBN | 3-030-35895-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals -- Quantum Cognition -- Decision-Making -- Cybernetics -- AI. |
| Record Nr. | UNISA-996466273903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantum Interaction : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / / edited by Bob Coecke, Ariane Lambert-Mogiliansky
| Quantum Interaction : 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / / edited by Bob Coecke, Ariane Lambert-Mogiliansky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 193 p. 180 illus., 25 illus. in color.) |
| Disciplina |
530.12
004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Mathematical statistics Discrete mathematics Machine theory Information storage and retrieval systems Theory of Computation Probability and Statistics in Computer Science Discrete Mathematics in Computer Science Formal Languages and Automata Theory Information Storage and Retrieval |
| ISBN | 3-030-35895-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals -- Quantum Cognition -- Decision-Making -- Cybernetics -- AI. |
| Record Nr. | UNINA-9910357845803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantum Interaction [[electronic resource] ] : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers / / edited by Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos
| Quantum Interaction [[electronic resource] ] : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers / / edited by Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 275 p. 27 illus.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Information storage and retrieval systems Application software Computer networks Quantum computers Theory of Computation Artificial Intelligence Information Storage and Retrieval Computer and Information Systems Applications Computer Communication Networks Quantum Computing |
| ISBN | 3-319-52289-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals -- Quantum Cognition -- Language and Applications -- Contextuality and Foundations of Probability -- Quantum-Like Measurements. |
| Record Nr. | UNISA-996465745903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers / / edited by Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos
| Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers / / edited by Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 275 p. 27 illus.) |
| Disciplina | 006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Artificial intelligence Information storage and retrieval systems Application software Computer networks Quantum computers Theory of Computation Artificial Intelligence Information Storage and Retrieval Computer and Information Systems Applications Computer Communication Networks Quantum Computing |
| ISBN | 3-319-52289-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fundamentals -- Quantum Cognition -- Language and Applications -- Contextuality and Foundations of Probability -- Quantum-Like Measurements. |
| Record Nr. | UNINA-9910483751503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||