Sciweavers

Share
ENTCS
2002
129views more  ENTCS 2002»
8 years 8 months ago
Eliminating Proofs from Programs
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
Femke van Raamsdonk, Paula Severi
books