Coquand, Thierry (1961-....)

Coquand, Thierry (1961-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 139931422

URI de l'entité : http://www.idref.fr/139931422/id

Notice de type Personne

Point d'accès autorisé

Coquand, Thierry (1961-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1961

Genre : Masculin

Notes

Note publique d'information :

Titulaire d'une thèse de 3ème cycle en Mathématiques. Informatique à l'Université de Paris 7, 1985

Source

Profondeur, dimension et résolutions en algèbre commutative : quelques aspects effectifs / Claire Tête, 2014

Information trouvée : Professeur à l'Université de Göteborg

Sur les groupes d’homotopie des sphères en théorie des types homotopiques / Guillaume Brunerie ; sous la direction de Carlos Simpson. Thèse de doctorat : Mathématiques : Nice : 2016

Information trouvée : Rapporteur de thèse, membre du jury

Une théorie des constructions / Thierry Coquand, 1985 [Thèse]

Identifiants externes