Optimized Program Extraction for Induction and Coinduction.

Ulrich Berger, Olga Petrovska

Browse the full CiE paper archive.