TY  - RPRT
TI  - About the contractibility of the walking coinductive equivalence
AU  - Viktoriya Ozornova
AU  - Martina Rovelli
AU  - Tashi Walde
PY  - 2026
UR  - https://arxiv.org/abs/2608.28355
ID  - 2608.28355
ER  -