(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
Source
Defining and reasoning about general recursive functions in type theory / David Pichardie,
2005