Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20) - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2011

Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20)

Thomas Ehrhard
Claudia Faggian
  • Fonction : Directeur scientifique
  • PersonId : 742617
  • IdHAL : claudia-faggian
Olivier Laurent
Fichier non déposé

Dates et versions

hal-00589711 , version 1 (30-04-2011)

Identifiants

  • HAL Id : hal-00589711 , version 1

Citer

Thomas Ehrhard, Claudia Faggian, Olivier Laurent (Dir.). Girard's Festschrift, Theoretical Computer Science (Volume 412, Issue 20). Elsevier, pp.240, 2011. ⟨hal-00589711⟩
132 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More