An Operational Approach to Program Extraction in the Calculus of Constructions.

Maribel Fernndez, Paula Severi

Browse the full LOPSTR paper archive.