Rewriting Modulo Traced Comonoid Structure.

Dan R. Ghica, George Kaye

Browse the full FSCD paper archive.