On quantum lambda calculi: a foundational perspective (Q2973238): Difference between revisions

@@ Property / cites work @@
+Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
+Normal rank
@@ Property / cites work @@
+Computational complexity of uniform quantum circuit families and quantum Turing machines
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Game Semantics for Quantum Data
@@ Property / cites work: Game Semantics for Quantum Data / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum computation by measurement and quantum memory
+Normal rank
@@ Property / cites work @@
+Machines, Logic and Quantum Physics
@@ Property / cites work: Machines, Logic and Quantum Physics / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computing
@@ Property / cites work: Quantum Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Adiabatic Quantum Computation Is Equivalent to Standard Quantum Computation
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+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 @@
+A single quantum cannot be cloned
@@ Property / cites work: A single quantum cannot be cloned / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum implicit computational complexity
@@ Property / cites work: Quantum implicit computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+On a measurement-free quantum lambda calculus with classical control
+Normal rank
@@ Property / cites work @@
+Q4544834
@@ Property / cites work: Q4544834 / rank @@
+Normal rank
@@ Property / cites work @@
+Trends in logic. 50 years of Studia Logica
@@ Property / cites work: Trends in logic. 50 years of Studia Logica / rank @@
+Normal rank
@@ Property / cites work @@
+Q3410550
@@ Property / cites work: Q3410550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999065
@@ Property / cites work: Q3999065 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+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 @@
+Quantum computing.
@@ Property / cites work: Quantum computing. / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Quantum Complexity Theory
@@ Property / cites work: Quantum Complexity Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of QML With a Concrete Implementation in Haskell
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Light logics and optimal reduction: completeness and complexity
+Normal rank
@@ Property / cites work @@
+Q3445918
@@ Property / cites work: Q3445918 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Quantum computation and quantum information†
@@ Property / cites work: Quantum computation and quantum information† / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Classically controlled quantum computation
@@ Property / cites work: Classically controlled quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Patterns and Types for Entanglement and Separability
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum State Transformations and Branching Distributed Temporal Logic
+Normal rank