TY  - RPRT
TI  - The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
AU  - Ekaterina Komendantskaya
AU  - Dmitry Rozplokhas
AU  - Henning Basold
PY  - 2020
UR  - https://arxiv.org/abs/2008.03714
ID  - 2008.03714
ER  -