Autre Publication Scientifique
Année : 2004
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00344325
Soumis le : jeudi 4 décembre 2008-14:44:02
Dernière modification le : lundi 26 mai 2025-14:36:02
Dates et versions
Identifiants
- HAL Id : hal-00344325 , version 1
Citer
Pierre Castéran, Eduardo Gimenez. A Tutorial on [Co-]Inductive types in Coq. 2004. ⟨hal-00344325⟩
Collections
177
Consultations
0
Téléchargements