Quantum implicit computational complexity (Q1044836): Difference between revisions

@@ Property / cites work @@
+Q4936120
@@ Property / cites work: Q4936120 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Quantum Complexity Theory
@@ Property / cites work: Quantum Complexity Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3800030
@@ Property / cites work: Q3800030 / rank @@
+Normal rank
@@ Property / cites work @@
+On a measurement-free quantum lambda calculus with classical control
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+Quantum computational networks
@@ Property / cites work: Quantum computational networks / rank @@
+Normal rank
@@ Property / cites work @@
+Universality in quantum computation
@@ Property / cites work: Universality in quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum programming languages: survey and bibliography
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Soft linear logic and polynomial time
@@ Property / cites work: Soft linear logic and polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of uniform quantum circuit families and quantum Turing machines
+Normal rank
@@ Property / cites work @@
+Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families
+Normal rank
@@ Property / cites work @@
+Q3445918
@@ Property / cites work: Q3445918 / rank @@
+Normal rank
@@ Property / cites work @@
+An arithmetic for polynomial-time computation
@@ Property / cites work: An arithmetic for polynomial-time computation / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Light affine lambda calculus and polynomial time strong normalization
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank