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

Bibliographic Details
Main Author: Kissinger, A
Format: Record
Published: 2012