Introducing the COMP project - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005
Fichier non déposé

Dates et versions

hal-00414078 , version 1 (07-09-2009)

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⟩
91 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More