$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843): Difference between revisions

@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+Non-determinism, Non-termination and the Strong Normalization of System T
+Normal rank
@@ Property / cites work @@
+On a measurement-free quantum lambda calculus with classical control
+Normal rank
@@ Property / cites work @@
+Linearity and PCF
@@ Property / cites work: Linearity and PCF / rank @@
+Normal rank
@@ Property / cites work @@
+On the reification of semantic linearity
@@ Property / cites work: On the reification of semantic linearity / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of QML With a Concrete Implementation in Haskell
+Normal rank
@@ Property / cites work @@
+Semantics of higher-order quantum computation via geometry of interaction
+Normal rank
@@ Property / cites work @@
+Q3410550
@@ Property / cites work: Q3410550 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum implicit computational complexity
@@ Property / cites work: Quantum implicit computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Results for a Quantum Lambda Calculus with Measurements
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q5389322
@@ Property / cites work: Q5389322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+A class of reversible primitive recursive functions
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3445918
@@ Property / cites work: Q3445918 / 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 @@
+Q3560839
@@ Property / cites work: Q3560839 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum State Transformations and Branching Distributed Temporal Logic
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank