Coinduction: Automata, Formal Proof, Companions (Invited Paper).

Damien Pous

Browse the full CALCO paper archive.