Provably Recursive Programs and Program Extraction.

Tim Fernando

Browse the full ICALP paper archive.