Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.

Abhishek De, Luc Pellissier, Alexis Saurin

Browse the full PPDP paper archive.