TY  - RPRT
TI  - Algebraic Proof Theory for Infinitary Action Logic
AU  - Wesley Fussner
AU  - Simon Santschi
AU  - Borja Sierra Miranda
PY  - 2025
UR  - https://arxiv.org/abs/2501.18231
ID  - 2501.18231
ER  -