A Type System for Quantum Resources

Abstract

We present a lightweight type system for stabilizer quantum mechanics inspired by the resource theories of entanglement and coherence.

Draft