data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 084297506
Notice de type Personne

Point d'accès autorisé

Soloviev, Sergei (19..-.... ; enseignant-chercheur en informatique)

Information

Langue d'expression : Francais

Source

Types inductifs, isomorphismes et récriture extensionnelle / David Chemouil ; Sergei Soloviev, dir., 2004 [Thèse]

Autres identifiants

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

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