TY  - RPRT
TI  - Bouncing threads for infinitary and circular proofs
AU  - David Baelde
AU  - Amina Doumane
AU  - Denis Kuperberg
AU  - Alexis Saurin
PY  - 2020
UR  - https://arxiv.org/abs/2005.08257
ID  - 2005.08257
ER  -