Rapport
Année : 1985
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00076155
Soumis le : mercredi 24 mai 2006-20:09:27
Dernière modification le : mardi 7 février 2023-03:41:32
Archivage à long terme le : vendredi 13 mai 2011-15:21:11
Dates et versions
Identifiants
- HAL Id : inria-00076155 , version 1
Citer
T. Coquand, Gérard Huet. Constructions:a higher order proof system for mechanizing mathematics. RR-0401, INRIA. 1985. ⟨inria-00076155⟩
Collections
99
Consultations
439
Téléchargements