Recherche dans une bibliothèque de preuves Coq en utilisant  le type et modulo isomorphismes

Roberto Di Cosmo; Benjamin Werner; David Delahaye

Communication Dans Un Congrès Année : 1997

Recherche dans une bibliothèque de preuves Coq en utilisant le type et modulo isomorphismes

, (1) ,

1

Roberto Di Cosmo

Fonction : Auteur
PersonId : 21808
IdHAL : roberto-di-cosmo
ORCID : 0000-0002-7493-5349
IdRef : 057604916

Benjamin Werner

Fonction : Auteur

INRIA Rocquencourt

David Delahaye

Fonction : Auteur
PersonId : 1952
IdHAL : david-delahaye
ORCID : 0000-0003-4779-1359
IdRef : 082035970

CV

Domaines

Informatique [cs] Langage de programmation [cs.PL]

Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01124982

Soumis le : vendredi 6 mars 2015-10:54:29

Dernière modification le : vendredi 4 février 2022-03:16:55

Dates et versions

hal-01124982 , version 1 (06-03-2015)

Identifiants

HAL Id : hal-01124982 , version 1

Citer

Roberto Di Cosmo, Benjamin Werner, David Delahaye. 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, Jan 1997, Paris, France. ⟨hal-01124982⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2

139 Consultations

0 Téléchargements