Coalgebraic Proof Translations for Non-Wellfounded Proofs.

Borja Sierra Miranda, Thomas Studer, Lukas Zenger

Browse the full AiML paper archive.