Cyclic Proofs for iGL via Corecursion. - Borja Sierra-Miranda (CoRR, 2023)

Coalgebraic Proof Translations for Non-Wellfounded Proofs. - Borja Sierra-Miranda; Thomas Studer; Lukas Zenger (AiML, 2024)

Algebraic Proof Theory for Infinitary Action Logic. - Wesley Fussner; Simon Santschi; Borja Sierra-Miranda (CoRR, 2025)