Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs

Aarthi Sundaram, Robert Rand, Kartik Singhal, Brad Lackey
January 2023
PDF Cite
Type
Preprint
Publication
Preprint