Pages that link to "Item:Q4818937"
From MaRDI portal
The following pages link to Towards a quantum programming language (Q4818937):
Displaying 50 items.
- On block structures in quantum computation (Q265814) (← links)
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras (Q283772) (← links)
- Pictures of complete positivity in arbitrary dimension (Q320199) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Model checking quantum Markov chains (Q394340) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Semi-automated verification of security proofs of quantum cryptographic protocols (Q491263) (← links)
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
- FJQuantum. A quantum object oriented language (Q529648) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers (Q740565) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Quantum loop programs (Q977174) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- Reasoning about faulty quantum programs (Q1031864) (← links)
- Quantum implicit computational complexity (Q1044836) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- Towards implementation of a generalized architecture for high-level quantum programming language (Q1700813) (← links)
- Quantum walks: a comprehensive review (Q1757875) (← links)
- Distributed quantum programming (Q1761696) (← links)
- Partially traced categories (Q1940191) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- On well-founded and recursive coalgebras (Q2200809) (← links)
- Quantum programming with inductive datatypes: causality and affine type theory (Q2200848) (← links)
- Verifying quantum communication protocols with ground bisimulation (Q2233434) (← links)
- Models of quantum computation and quantum programming languages (Q2250909) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- On hybrid models of quantum finite automata (Q2353395) (← links)
- Commutativity of quantum weakest preconditions (Q2380014) (← links)
- Automating quantum experiment control. From circuit compilation to ion routing (Q2412580) (← links)
- Termination of nondeterministic quantum programs (Q2453979) (← links)
- Proof rules for the correctness of quantum programs (Q2455601) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- Complete positivity and natural representation of quantum computations (Q2520702) (← links)
- On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) (Q2825348) (← links)
- An Overview of QML With a Concrete Implementation in Haskell (Q2825353) (← links)
- Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories (Q2825368) (← links)
- Confluence Results for a Quantum Lambda Calculus with Measurements (Q2825377) (← links)
- An Algebra of Automata That Includes Both Classical and Quantum Entities (Q2825378) (← links)
- An Algebra of Pure Quantum Programming (Q2864167) (← links)
- De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure (Q2864168) (← links)
- Simulating and Compiling Code for the Sequential Quantum Random Access Machine (Q2864171) (← links)
- Quantum Patterns and Types for Entanglement and Separability (Q2864172) (← links)
- Dagger Compact Closed Categories and Completely Positive Maps (Q2864173) (← links)
- Quantum Programs With Classical Output Streams (Q2864174) (← links)
- A Hierarchy of Quantum Semantics (Q2864503) (← links)
