Jean Krivine

Statut : Chargé de recherche (HDR)
Laboratoire : IRIF
Site web : http://www.irif.fr/~jkrivine

GDRs

GDR IFM: membre de.s groupe.s de travail

GDR RADIA: membre de.s groupe.s de travail

GDR BIMMM: membre de.s groupe.s de travail