1997

Conférence Nationale avec comité de lecture

• [DDW97] D. Delahaye, R. Di Cosmo, B. Werner. " Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes", PRC/GDR de programmation, Pôle Preuves et Spécifications Algébriques, January 1997,