Ulrich Berger 0001, Olga Petrovska. Optimized Program Extraction for Induction and Coinduction. In Florin Manea, Russell G. Miller, Dirk Nowotka, editors, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings. Volume 10936 of Lecture Notes in Computer Science, pages 70-80, Springer, 2018. [doi]
Abstract is missing.