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

Point d'accès autorisé

Letouzey, Pierre (1977-....)

Sur le web

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 :    1977
Genre : Masculin

Notes

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

Identifiants externes

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

Source

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

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