Towards a quantum programming language
From MaRDI portal
Publication:4818937
DOI10.1017/S0960129504004256zbMath1085.68014OpenAlexW1999626800MaRDI QIDQ4818937
Publication date: 24 September 2004
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129504004256
Related Items (89)
On block structures in quantum computation ⋮ Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras ⋮ Unnamed Item ⋮ Classical control and quantum circuits in enriched category theory ⋮ Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ Reachability analysis of quantum Markov decision processes ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Commutativity of quantum weakest preconditions ⋮ Pictures of complete positivity in arbitrary dimension ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Natural Quantum Operational Semantics with Predicates ⋮ Semantics for a quantum programming language by operator algebras ⋮ Automating quantum experiment control. From circuit compilation to ion routing ⋮ Model checking quantum Markov chains ⋮ Unordered Tuples in Quantum Computation ⋮ Software science view on quantum circuit algorithms ⋮ Classically time-controlled quantum automata ⋮ Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs ⋮ Quantum symbolic execution ⋮ A programming language characterizing quantum polynomial time ⋮ Partially traced categories ⋮ Semantic embedding for quantum algorithms ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ On well-founded and recursive coalgebras ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Axioms for the category of Hilbert spaces and linear contractions ⋮ Towards implementation of a generalized architecture for high-level quantum programming language ⋮ Linear-algebraic λ-calculus: higher-order, encodings, and confluence. ⋮ On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quantum computation: from a programmer's perspective ⋮ $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations ⋮ Termination of nondeterministic quantum programs ⋮ Proof rules for the correctness of quantum programs ⋮ Toward automatic verification of quantum programs ⋮ Semi-automated verification of security proofs of quantum cryptographic protocols ⋮ Verifying quantum communication protocols with ground bisimulation ⋮ Probabilistic bisimulations for quantum processes ⋮ Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties ⋮ Towards a typed Geometry of Interaction ⋮ A categorical analogue of the monoid semiring construction ⋮ Models of quantum computation and quantum programming languages ⋮ Quantum circuit oracles for abstract machine computations ⋮ Game Semantics for Quantum Stores ⋮ Measurement-Based and Universal Blind Quantum Computation ⋮ FJQuantum. A quantum object oriented language ⋮ Quantum walks: a comprehensive review ⋮ Distributed quantum programming ⋮ Presheaf Models of Quantum Computation: An Outline ⋮ Techniques for Formal Modelling and Analysis of Quantum Systems ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Quantum loop programs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalised quantum weakest preconditions ⋮ Unnamed Item ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers ⋮ Complete positivity and natural representation of quantum computations ⋮ On a measurement-free quantum lambda calculus with classical control ⋮ A proof system for disjoint parallel quantum programs ⋮ On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) ⋮ An Overview of QML With a Concrete Implementation in Haskell ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ An Algebra of Automata That Includes Both Classical and Quantum Entities ⋮ Reasoning about faulty quantum programs ⋮ Concurrent Quantum Strategies ⋮ Quantum implicit computational complexity ⋮ QPCF: higher-order languages and quantum circuits ⋮ An Algebra of Pure Quantum Programming ⋮ De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure ⋮ Simulating and Compiling Code for the Sequential Quantum Random Access Machine ⋮ Quantum Patterns and Types for Entanglement and Separability ⋮ Dagger Compact Closed Categories and Completely Positive Maps ⋮ Quantum Programs With Classical Output Streams ⋮ A Hierarchy of Quantum Semantics ⋮ A Quantum Game Semantics for the Measurement Calculus ⋮ From Reversible to Irreversible Computations ⋮ Towards a Quantum Calculus ⋮ Quantum Data and Control Made Easier ⋮ Idempotents in Dagger Categories ⋮ On a Fully Abstract Model for a Quantum Linear Functional Language ⋮ On hybrid models of quantum finite automata ⋮ A computer scientist’s reconstruction of quantum theory*
Uses Software
This page was built for publication: Towards a quantum programming language
