inria-00074410, version 1

Program extraction in a logical framework setting

Penny Anderson ¹

N° RR-2261 (1994)

• 1 :  CROAP (INRIA Sophia Antipolis)
• INRIA

• Domaine : Informatique/Autre
• Référence interne : RR-2261

• inria-00074410, version 1
• http://hal.inria.fr/inria-00074410
• oai:hal.inria.fr:inria-00074410
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 15:15:00
• Dernière modification le : Mercredi 14 Mars 2007, 17:30:39