swMATH39237MaRDI QIDQ54937FDOQ54937
Author name not available (Why is that?)
Official website: https://www.mathstat.dal.ca/~selinger/papers/papers/qpl.pdf
Cited In (only showing first 100 items - show all)
- Model checking quantum Markov chains
- Information processing in convex operational theories
- De-linearizing linearity: projective quantum axiomatics from strong compact closure
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
- On block structures in quantum computation
- Quantum circuit oracles for abstract machine computations
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
- TensorFlow Quantum
- QPCF: higher-order languages and quantum circuits
- A proof system for disjoint parallel quantum programs
- Natural Quantum Operational Semantics with Predicates
- QML
- Quantum data and control made easier
- Probabilistic bisimulations for quantum processes
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
- An overview of QML with a concrete implementation in Haskell
- Confluence results for a quantum lambda calculus with measurements
- On a fully abstract model for a quantum linear functional language (extended abstract)
- Approximating Markov processes by averaging
- An analogue of the Hahn-Banach theorem for functionals on abstract convex cones
- Reachability analysis of quantum Markov decision processes
- Models of quantum computation and quantum programming languages
- Commutativity of quantum weakest preconditions
- Idempotents in dagger categories (extended abstract)
- Generalised quantum weakest preconditions
- Proof rules for the correctness of quantum programs
- Termination of nondeterministic quantum programs
- Quantum walks: a comprehensive review
- Quantum patterns and types for entanglement and separability
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers
- Pictures of complete positivity in arbitrary dimension
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- Quantum computer simulation using the CUDA programming model
- An algebra of pure quantum programming
- On hybrid models of quantum finite automata
- QWalk
- QDENSpalette
- QRNG
- Quipper
- QC-lib
- AsmL
- QI
- verifier
- Pesca
- QCL
- qPCF
- QWire
- Forest
- ProbNetKAT
- ScaffCC
- nQML
- LIQUi
- QC simulators
- Feynman
- metaQASM
- openQASM
- Sized Types for Low-Level Quantum Metaprogramming
- Local tomography and the Jordan structure of quantum theory
- Reasoning about faulty quantum programs
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Silq
- Title not available (Why is that?)
- LanQ
- QPEL
- QPMC
- qGCL
- KoAT
- Dagger compact closed categories and completely positive maps (extended abstract)
- Semantics of higher-order quantum computation via geometry of interaction
- The Arrow Calculus as a Quantum Programming Language
- Quantum computation: from a programmer's perspective
- Quantum implicit computational complexity
- Symmetry, compact closure and dagger compactness for categories of convex operational models
- From reversible to irreversible computations
- The \(C\)-topology on lattice-ordered groups
- Toward automatic verification of quantum programs
- A hierarchy of quantum semantics
- Game semantics for quantum stores
- Towards a quantum programming language
- Quantum loop programs
- Quantum alternation: prospects and problems
- A sublinear analog of the Banach-Mazur theorem in separated convex cones with norm
- An algebra of automata that includes both classical and quantum entities
- Title not available (Why is that?)
- Hahn-Banach type theorems on functional separation for convex ordered normed cones
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Classical control and quantum circuits in enriched category theory
- Borel kernels and their approximation, categorically
- Distributed quantum programming
- Towards a quantum calculus (work in progress, extended abstract)
- Complete positivity and natural representation of quantum computations
- Measurement-Based and Universal Blind Quantum Computation
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- Title not available (Why is that?)
- Simulating and compiling code for the sequential quantum random access machine
- Semantics for a quantum programming language by operator algebras
- Presheaf models of quantum computation: an outline
- Game semantics for quantum data
- Partially traced categories
- Symbolic bisimulation for quantum processes
This page was built for software: QPL
