Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs.

David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin

Browse the full LICS paper archive.