TY  - RPRT
TI  - Compression for Coinductive Rewriting and the Cut-Elimination of Non-Wellfounded Proofs
AU  - Rémy Cerda
AU  - Alexis Saurin
PY  - 2026
DO  - 10.4230/lipics.mfcs.2026.21
UR  - https://arxiv.org/abs/2510.08420
ID  - 2510.08420
ER  -