Communication Dans Un Congrès
Année : 2005
Yann Kieffer : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00414078
Soumis le : lundi 7 septembre 2009-17:12:45
Dernière modification le : jeudi 4 avril 2024-18:18:52
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
91
Consultations
0
Téléchargements