scientific article; zbMATH DE number 5708038
From MaRDI portal
Publication:3560839
Cited in
(21)- Semantics for a quantum programming language by operator algebras
- Processes against tests: on defining contextual equivalences
- QPCF: higher-order languages and quantum circuits
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
- On block structures in quantum computation
- \textsc{qPCF}: a language for quantum circuit computations
- \(\mathcal{Q}\)\textsc{wire} practice: formal verification of quantum circuits in Coq
- A categorical model for a quantum circuit description language (extended abstract)
- Semantics of higher-order quantum computation via geometry of interaction
- Quantum computation: from a programmer's perspective
- Presheaf models of quantum computation: an outline
- Quantum programming made easy
- Typing Quantum Superpositions and Measurement
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Distributed Strategies Made Easy
- Linearity and uniqueness: an entente cordiale
- Semantics for a lambda calculus for string diagrams
- Processes, systems \& tests: defining contextual equivalences
- Combining quantum and classical control: syntax, semantics and adequacy
- The quantum monadology
- The relational machine calculus
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3560839)
