Proof Frameworks for GCAs

Robert Lin (2021). An Algebraic Framework for Multi-Qudit Computations with Generalized Clifford Algebras. https://arxiv.org/abs/2103.15324 

Robert Lin (2021). A Graphical Calculus for Quantum Computing with Multiple Qudits using Generalized Clifford Algebras. https://arxiv.org/abs/2103.16081