Integrating Induction and Coinduction via Closure Operators and Proof Cycles.

Liron Cohen, Reuben N. S. Rowe

Browse the full CADE paper archive.