On a measurement-free quantum lambda calculus with classical control (Q3625676): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Quantum Patterns and Types for Entanglement and Separability
+Normal rank
@@ Property / cites work @@
+Computational complexity of uniform quantum circuit families and quantum Turing machines
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+The measurement calculus
@@ Property / cites work: The measurement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Complexity Theory
@@ Property / cites work: Quantum Complexity Theory / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+Adiabatic Quantum Computation Is Equivalent to Standard Quantum Computation
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank