Diagrammatic Reasoning, Formally (Invited Talk).

Damien Pous

Browse the full MFCS paper archive.