A Type System for Quantum Resources
Robert Rand,
Aarthi Sundaram,
Kartik Singhal,
Brad Lackey
October 2019
Abstract
We present a lightweight type system for stabilizer quantum mechanics inspired by the resource theories of entanglement and coherence.