Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs.

Rmy Cerda, Alexis Saurin

Browse the full MFCS paper archive.