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)
- Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17--19 July 2006 (Q383298) (← 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 programming languages: a tentative study (Q954406) (← 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)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← 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)
- (Q2721095) (← 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)
