paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 081284322Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Letouzey, Pierre (1977-....)

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 : Francais
Pays : France
Date de naissance :    1977
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse de : Informatique, Université Paris-Sud 11, Orsay (en 2004)

Source

Programmation fonctionnelle certifiée : l'extraction de programmes dans l'assistant Coq / Pierre Letouzey, 2004 [ thèse ]

Autres identifiants

Identifiant HAL : pierre-letouzey
Identifiant VIAF : http://viaf.org/viaf/211163951
Identifiant ISNI : 0000000358528660

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

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