Program Extraction in a Logical Framework Setting.

Penny Anderson

Browse the full LPAR paper archive.