Bertrand, Meven (19..-....)

Identifiant pérenne de la notice : 253133491

URI de l'entité : http://www.idref.fr/253133491/id

Notice de type Personne

Point d'accès autorisé

Bertrand, Meven (19..-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Date de naissance : 19XX

Identifiants externes

Identifiant HAL : meven-bertrand

Source

Meven Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter. Gradualizing the Calculus of Inductive Constructions. 2020. (hal-02896776v2)

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