Gottesman types for quantum programs

DOI10.4204/EPTCS.340.14MaRDI QIDQ6645589zbMATH OpenFDO

Authors R. Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey

Publication date 28 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.340.14

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites work

• \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
• Analysis of quantum entanglement in quantum programs using stabilizer formalism
• GHZ extraction yield for multipartite stabilizer states
• Local unitary versus local Clifford equivalence of stabilizer states
• Quantum computation and quantum information. 10th anniversary edition
• Quantum Entanglement Analysis Based on Abstract Interpretation
• Quantum patterns and types for entanglement and separability
• The Heisenberg representation of quantum computers
• Types and programing languages

Cited in

(2)

• Quantum Hoare type theory: extended abstract
• Quantum homomorphic encryption scheme based on elliptic curve cryptography

This page was built for publication: Gottesman types for quantum programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6645589)