Notice de personne
- Notice
Filliâtre, Jean-Christophe forme internationale
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
19..
En poste : LRI, Inria Futurs, LIX, Université Paris Sud, Orsay, Essonne (en 2006).
Source(s) :
Types for proofs and programs / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.), cop. 2006
Types for proofs and programs / Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.), cop. 2006
Identifiant international de l'autorité :
ISNI 0000 0000 4821 0059
, cf.
http://isni.org/isni/0000000048210059
Identifiant de la notice : ark:/12148/cb15114401n
Notice n° :
FRBNF15114401
Création :
06/11/22
Mise à jour :
15/02/24