Guarded Traced Categories.

Sergey Goncharov, Lutz Schrder

Browse the full FOSSACS paper archive.