Communication Dans Un Congrès
Année : 2005
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00414078
Soumis le : lundi 7 septembre 2009-17:12:45
Dernière modification le : samedi 27 septembre 2025-18:32:00
Dates et versions
Identifiants
- HAL Id : hal-00414078 , version 1
Citer
Yann Kieffer. Introducing the COMP project. Small TYPES workshop: Constructive analysis, types and exact real numbers., Oct 2005, Nijmegen, Netherlands. ⟨hal-00414078⟩
Collections
133
Consultations
0
Téléchargements