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



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


Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (3)