CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper).

Pawel Sobocinski, Paul W. Wilson, Fabio Zanasi

Browse the full CALCO paper archive.