Notice de personne
- Notice
Coquand, Thierry (1961-....) forme internationale
Pays :
France
Langue(s) :
français
.
français
Sexe :
Masculin
Professeur en informatique à l'université de Göteborg, Suède (en 2026).
Profession(s) :
Professeur
Source(s) :
Types for proofs and programs [Texte électronique] : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand [and others], (Eds.).- Berlin ; New York : Springer, 2001
Types for proofs and programs [Texte électronique] : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers / Thierry Coquand [and others], (Eds.).- Berlin ; New York : Springer, 2001
Identifiant de la notice : ark:/12148/cb17205358t
Notice n° :
FRBNF17205358
Création :
18/02/07
Mise à jour :
18/02/07
