Towards a quantum programming language
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Game semantics for quantum stores
- Model checking quantum Markov chains
- Quantum programming languages: a tentative study
- scientific article; zbMATH DE number 5708042 (Why is no real title available?)
- Quantum alternation: prospects and problems
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
- De-linearizing linearity: projective quantum axiomatics from strong compact closure
- Parallel self-testing of the GHZ state with a proof by diagrams
- scientific article; zbMATH DE number 7559283 (Why is no real title available?)
- On block structures in quantum computation
- Quantum circuit oracles for abstract machine computations
- QPCF: higher-order languages and quantum circuits
- Quantum programming made easy
- A proof system for disjoint parallel quantum programs
- An algebra of automata that includes both classical and quantum entities
- Formal meta-level analysis framework for quantum programming languages
- A lambda calculus for quantum computation with classical control
- Quantum programming languages: survey and bibliography
- Compiling quantum programs
- Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
- Quantum data and control made easier
- Natural Quantum Operational Semantics with Predicates
- Probabilistic bisimulations for quantum processes
- An overview of QML with a concrete implementation in Haskell
- Confluence results for a quantum lambda calculus with measurements
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
- On a fully abstract model for a quantum linear functional language (extended abstract)
- Verifying quantum communication protocols with ground bisimulation
- Topological quantum gates in homotopy type theory
- Semantics of quantum programming languages: Classical control, quantum control
- Quantum programming with mixed states
- Reachability analysis of quantum Markov decision processes
- On a measurement-free quantum lambda calculus with classical control
- Classical control, quantum circuits and linear logic in enriched category theory
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Classical control and quantum circuits in enriched category theory
- Software science view on quantum circuit algorithms
- Models of quantum computation and quantum programming languages
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Commutativity of quantum weakest preconditions
- Generalised quantum weakest preconditions
- Quantum Predicative Programming
- A computer scientist’s reconstruction of quantum theory*
- Idempotents in dagger categories (extended abstract)
- Programming with quantum communication
- Proof rules for the correctness of quantum programs
- Termination of nondeterministic quantum programs
- Distributed quantum programming
- Semantic embedding for quantum algorithms
- Towards a quantum calculus (work in progress, extended abstract)
- Classically time-controlled quantum automata
- Quantum walks: a comprehensive review
- On well-founded and recursive coalgebras
- Complete positivity and natural representation of quantum computations
- Quantum patterns and types for entanglement and separability
- Measurement-Based and Universal Blind Quantum Computation
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Pictures of complete positivity in arbitrary dimension
- Functional and Logic Programming
- From symmetric pattern-matching to quantum control
- The sup connective in IMALL: a categorical semantics
- Describing and animating quantum protocols
- A programming language characterizing quantum polynomial time
- Quantum temporal logic and reachability problems of matrix semigroups
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- An algebra of pure quantum programming
- scientific article; zbMATH DE number 7454912 (Why is no real title available?)
- On hybrid models of quantum finite automata
- Towards a typed geometry of interaction
- Semantics for a quantum programming language by operator algebras
- Simulating and compiling code for the sequential quantum random access machine
- \(Q|SI\rangle \): a quantum programming environment
- Checking continuous stochastic logic against quantum continuous-time Markov chains
- Reasoning about faulty quantum programs
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Quantum programming with inductive datatypes: causality and affine type theory
- Modelling parallel quantum computing using transactional memory
- Presheaf models of quantum computation: an outline
- Semantics of higher-order quantum computation via geometry of interaction
- scientific article; zbMATH DE number 1612487 (Why is no real title available?)
- Axioms for the category of Hilbert spaces and linear contractions
- Quantum symbolic execution
- Dagger compact closed categories and completely positive maps (extended abstract)
- scientific article; zbMATH DE number 7364199 (Why is no real title available?)
- FJQuantum. A quantum object oriented language
- On the automation of encoding processes in the quantum IO monad
- Partially traced categories
- Quantum computation: from a programmer's perspective
- On quantum lambda calculi: a foundational perspective
- Classical concepts in quantum programming
- Applying quantitative semantics to higher-order quantum computing
- A categorical analogue of the monoid semiring construction
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Quantum implicit computational complexity
- Causality in higher order process theories
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs
- Quantum expectation transformers for cost analysis
- Combining quantum and classical control: syntax, semantics and adequacy
This page was built for publication: Towards a quantum programming language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4818937)
