Graph Rewrite Systems for Classical Structures in Dagger−Symmetric Monoidal Categories

Bibliographic Details
Main Author: Kissinger, A
Format: Thesis
Published: 2008