TY  - RPRT
TI  - A theory of cut-restriction: first steps
AU  - Agata Ciabattoni
AU  - Timo Lang
AU  - Revantha Ramanayake
PY  - 2022
UR  - https://arxiv.org/abs/2203.01600
ID  - 2203.01600
ER  -