Flexible Coinduction in Agda.

Luca Ciccone, Francesco Dagnino, Elena Zucca

Browse the full ITP paper archive.