Gottesman types for quantum programs

DOI10.4204/eptcs.340.14MaRDI QIDQ6645589

Robert S. Rand, Aarthi Sundaram, Brad Lackey, Kartik Singhal

Publication date: 28 November 2024

Mathematics Subject Classification ID

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

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