- 1
David Delahaye
1
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismesPRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques, Jan 1997, Paris, France
Communication dans un congrès
hal-01124982v1
|