OXFORD UNIVERSITY COMPUTING LABORATORY

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

Aleks Kissinger

info

year

2008

links

BibTeX

related pages

people

Random Image
Random Image
Random Image