Skip to main content

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

Aleks Kissinger

School
Oxford University
Year
2008