QWIRE: a core language for quantum circuits
From MaRDI portal
Publication:5370918
Recommendations
Cited in
(26)- Quantum programming made easy
- An automated deductive verification framework for circuit-building quantum programs
- Software science view on quantum circuit algorithms
- Semantics for a lambda calculus for string diagrams
- A categorical model for a quantum circuit description language (extended abstract)
- Towards large-scale functional verification of universal quantum circuits
- Automated quantum program verification in dynamic quantum logic
- QPCF: higher-order languages and quantum circuits
- Quantum CPOs
- Quantum Hoare type theory: extended abstract
- Generating formally verified quantum Fourier transform algorithms
- \textsc{qPCF}: a language for quantum circuit computations
- Toward automatic verification of quantum programs
- Type-safe quantum programming in Idris
- \(\mathcal{Q}\)\textsc{wire} practice: formal verification of quantum circuits in Coq
- A modeling and verification framework for optical quantum circuits
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
- A Coq-based infrastructure for quantum programming, verification and simulation
- Classical control and quantum circuits in enriched category theory
- Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
- Classically time-controlled quantum automata
- scientific article; zbMATH DE number 7364199 (Why is no real title available?)
- Classical control, quantum circuits and linear logic in enriched category theory
- Sized Types for Low-Level Quantum Metaprogramming
- A quick overview on the quantum control approach to the lambda calculus
This page was built for publication: QWIRE: a core language for quantum circuits
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370918)
