Equational reasoning with context−free families of string diagrams
Aleks Kissinger and Vladimir Zamdzhiev
Book Title
Proceedings of the International Conference on Graph Transformation (ICGT)
Year
2015
Aleks Kissinger and Vladimir Zamdzhiev