Monoidal computer. I: Basic computability by string diagrams (Q385721): Difference between revisions

@@ Property / arXiv ID @@
+.5205
@@ Property / arXiv ID: 1208.5205 / rank @@
+Normal rank
@@ Property / cites work @@
+H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q2918873
@@ Property / cites work: Q2918873 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Aided Security Proofs for the Working Cryptographer
+Normal rank
@@ Property / cites work @@
+Quantum complexity theory
@@ Property / cites work: Quantum complexity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Toy Quantum Categories (Extended Abstract)
@@ Property / cites work: Toy Quantum Categories (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and quantum structuralism
@@ Property / cites work: Classical and quantum structuralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+A new description of orthogonal bases
@@ Property / cites work: A new description of orthogonal bases / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+Coalgebras and cartesian categories
@@ Property / cites work: Coalgebras and cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Cryptography
@@ Property / cites work: Foundations of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4337021
@@ Property / cites work: Q4337021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's Amazing Second Recursion Theorem
@@ Property / cites work: Kleene's Amazing Second Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal categories with natural numbers object
@@ Property / cites work: Monoidal categories with natural numbers object / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic of names and abstraction in action calculi
+Normal rank
@@ Property / cites work @@
+Quantum and Classical Structures in Nondeterminstic Computation
+Normal rank
@@ Property / cites work @@
+Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
+Normal rank
@@ Property / cites work @@
+Geometry of abstraction in quantum computation
@@ Property / cites work: Geometry of abstraction in quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563322
@@ Property / cites work: Q5563322 / rank @@
+Normal rank
@@ Property / cites work @@
+Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
+Normal rank
@@ Property / cites work @@
+Frobenius monads and pseudomonoids
@@ Property / cites work: Frobenius monads and pseudomonoids / rank @@
+Normal rank
@@ Property / cites work @@
+THE COMPLEXITY OF FINITE OBJECTS AND THE DEVELOPMENT OF THE CONCEPTS OF INFORMATION AND RANDOMNESS BY MEANS OF THE THEORY OF ALGORITHMS
+Normal rank