Maingaud, Séverine

Maingaud, Séverine

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 161597343

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

Notice de type Personne

Point d'accès autorisé

Maingaud, Séverine

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 : 1978

Genre : Féminin

Notes

Note publique d'information :

Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2011

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/290341140

Source

Certification de programmes impératifs en logique dynamique: le cas du lambda-calcul avec références/ Séverine Maingaud; sous la direction de Alexandre Miquel (Thèse), 2011

... Références liées : ...