TY  - RPRT
TI  - Cut elimination for a non-wellfounded system for the master modality
AU  - Borja Sierra Miranda
AU  - Thomas Studer
PY  - 2025
UR  - https://arxiv.org/abs/2505.02700
ID  - 2505.02700
ER  -