Q5018491 (Q5018491): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00774
@@ Property / arXiv ID: 1711.00774 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+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 @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
+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 @@
+Q3410550
@@ Property / cites work: Q3410550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015214
@@ Property / cites work: Q5015214 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal meta-level analysis framework for quantum programming languages
+Normal rank
@@ Property / cites work @@
+Q5389322
@@ Property / cites work: Q5389322 / 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 @@
+An approach to deciding the observational equivalence of Algol-like languages
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+QPCF: higher-order languages and quantum circuits
@@ Property / cites work: QPCF: higher-order languages and quantum circuits / rank @@
+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 @@
+A class of recursive permutations which is primitive recursive complete
+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 @@
+Q3384929
@@ Property / cites work: Q3384929 / 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 @@
+On the Power of Quantum Computation
@@ Property / cites work: On the Power of Quantum Computation / 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 @@
+On quantum lambda calculi: a foundational perspective
+Normal rank