Can a Quantum Computer Run the von Neumann Architecture? (Q3000932): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Nuclear and trace ideals in tensored \(^*\)-categories
+Normal rank
@@ Property / cites work @@
+Geometry of Interaction and linear combinatory algebras
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical quantum logic
@@ Property / cites work: A categorical quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebra of Pure Quantum Programming
@@ Property / cites work: An Algebra of Pure Quantum Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
+Normal rank
@@ Property / cites work @@
+Teleportation as a quantum computation.
@@ Property / cites work: Teleportation as a quantum computation. / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Complexity Theory
@@ Property / cites work: Quantum Complexity Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5597193
@@ Property / cites work: Q5597193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435436
@@ Property / cites work: Q4435436 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely positive linear maps on complex matrices
+Normal rank
@@ Property / cites work @@
+Q3426489
@@ Property / cites work: Q3426489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+The One Way to Quantum Computation
@@ Property / cites work: The One Way to Quantum Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The measurement calculus
@@ Property / cites work: The measurement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+Q5340540
@@ Property / cites work: Q5340540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855566
@@ Property / cites work: Q4855566 / rank @@
+Normal rank
@@ Property / cites work @@
+Universality and programmability of quantum computers
+Normal rank
@@ Property / cites work @@
+Quantum programming languages: survey and bibliography
+Normal rank
@@ Property / cites work @@
+Q3798616
@@ Property / cites work: Q3798616 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+The computer as von Neumann planned it
@@ Property / cites work: The computer as von Neumann planned it / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736498
@@ Property / cites work: Q2736498 / rank @@
+Normal rank
@@ Property / cites work @@
+The universal Turing machine. A half-century survey.
+Normal rank
@@ Property / cites work @@
+Q4704205
@@ Property / cites work: Q4704205 / rank @@
+Normal rank
@@ Property / cites work @@
+A short note on coherence and self-similarity
@@ Property / cites work: A short note on coherence and self-similarity / rank @@
+Normal rank
@@ Property / cites work @@
+A categorical framework for finite state machines
@@ Property / cites work: A categorical framework for finite state machines / rank @@
+Normal rank
@@ Property / cites work @@
+Physical Systems as Constructive Logics
@@ Property / cites work: Physical Systems as Constructive Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Machine semantics
@@ Property / cites work: Machine semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum circuit oracles for abstract machine computations
+Normal rank
@@ Property / cites work @@
+Linear transformations which preserve trace and positive semidefiniteness of operators
+Normal rank
@@ Property / cites work @@
+Q3711309
@@ Property / cites work: Q3711309 / 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 @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of entanglement in quantum-computational speed-up
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
+Normal rank
@@ Property / cites work @@
+Q4544834
@@ Property / cites work: Q4544834 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in Nonmonoidal Closed Categories
@@ Property / cites work: Coherence in Nonmonoidal Closed Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding of Closed Categories Into Monoidal Closed Categories
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Can a Universal Quantum Computer Be Fully Quantum?
+Normal rank
@@ Property / cites work @@
+Programmable Quantum Gate Arrays
@@ Property / cites work: Programmable Quantum Gate Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum deleting and signalling
@@ Property / cites work: Quantum deleting and signalling / rank @@
+Normal rank
@@ Property / cites work @@
+Radon–Nikodym derivatives of quantum operations
@@ Property / cites work: Radon–Nikodym derivatives of quantum operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory applied to Pontryagin duality
@@ Property / cites work: Category theory applied to Pontryagin duality / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+Tortile tensor categories
@@ Property / cites work: Tortile tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4781159
@@ Property / cites work: Q4781159 / rank @@
+Normal rank
@@ Property / cites work @@
+A single quantum cannot be cloned
@@ Property / cites work: A single quantum cannot be cloned / rank @@
+Normal rank