Skip to main content

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

A. Kissinger

Note
DPhil Thesis‚ Oxford University
Year
2012