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
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
