paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 094184690Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Rusu, Vlad (19..-.... ; informaticien)

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 :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Chargé de recherches au sein de l'équipe eXtra Small, eXtra Safe (2XS) du Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL - UMR CNRS 9189 - IRCICA) à l'Université de Lille 1 - Sciences et Technologies. Membre du FIL (Formations en Informatique de Lille), département informatique de l'UFR Faculté des sciences et technologies de l'Université de Lille

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/197162484
Identifiant ISNI : 0000000140519518

Source

Defining and reasoning about general recursive functions in type theory / David Pichardie, 2005

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