Enriching Diagrams with Algebraic Operations.

Alejandro Villoria, Henning Basold, Alfons Laarman

Browse the full FOSSACS paper archive.