QPCF: higher-order languages and quantum circuits (Q2331073): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-019-09518-y
@@ Property / DOI: 10.1007/s10817-019-09518-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Quipper
@@ Property / describes a project that uses: Quipper / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2891621506
@@ Property / OpenAlex ID: W2891621506 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05723
@@ Property / arXiv ID: 1809.05723 / 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 @@
+A System F accounting for scalars
@@ Property / cites work: A System F accounting for scalars / rank @@
+Normal rank
@@ 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 natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
+Normal rank
@@ Property / cites work @@
+The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines
+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 @@
+Q5015214
@@ Property / cites work: Q5015214 / rank @@
+Normal rank
@@ Property / cites work @@
+On a measurement-free quantum lambda calculus with classical control
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces as a model of higher-order probabilistic computation
+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 @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
+Normal rank
@@ Property / cites work @@
+Q2711586
@@ Property / cites work: Q2711586 / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Probabilistic PCF
@@ Property / cites work: Full Abstraction for Probabilistic PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
+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 @@
+Constructive quantum scaling of unitary matrices
@@ Property / cites work: Constructive quantum scaling of unitary matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
+Normal rank
@@ Property / cites work @@
+An Overview of QML With a Concrete Implementation in Haskell
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939142
@@ Property / cites work: Q4939142 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of higher-order quantum computation via geometry of interaction
+Normal rank
@@ Property / cites work @@
+Lectures on Quantum Theory
@@ Property / cites work: Lectures on Quantum Theory / rank @@
+Normal rank
@@ Property / cites work @@
+QIP = PSPACE
@@ Property / cites work: QIP = PSPACE / rank @@
+Normal rank
@@ Property / cites work @@
+Q3410550
@@ Property / cites work: Q3410550 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic probabilistic game semantics. Playing games with automata
+Normal rank
@@ Property / cites work @@
+Q4544834
@@ Property / cites work: Q4544834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389322
@@ Property / cites work: Q5389322 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computing
@@ Property / cites work: Quantum Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum computation by measurement and quantum memory
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computation and Quantum Information
@@ Property / cites work: Quantum Computation and Quantum Information / 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 stable programming language
@@ Property / cites work: A stable programming language / rank @@
+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 @@
+Q5018491
@@ Property / cites work: Q5018491 / rank @@
+Normal rank
@@ Property / cites work @@
+$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations
+Normal rank
@@ Property / cites work @@
+QWIRE: a core language for quantum circuits
@@ Property / cites work: QWIRE: a core language for quantum circuits / rank @@
+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 @@
+Q4234325
@@ Property / cites work: Q4234325 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
+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 @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+Normal rank
@@ Property / cites work @@
+Quantum computation: from a programmer's perspective
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum State Transformations and Branching Distributed Temporal Logic
+Normal rank
@@ Property / cites work @@
+A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
+Normal rank
@@ Property / cites work @@
+Indexed types
@@ Property / cites work: Indexed types / rank @@
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank
@@ Property / Wikidata QID @@
+Q128232989
@@ Property / Wikidata QID: Q128232989 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-019-09518-Y
@@ Property / DOI: 10.1007/S10817-019-09518-Y / rank @@
+Normal rank