Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Open in new window