Circular Coinduction: A Proof Theoretical Foundation.

Grigore Rosu, Dorel Lucanu

Browse the full CALCO paper archive.