Identifiant pérenne de la notice : 035110600
Notice de type
Personne
Object-oriented programming / Giuseppe Castagna, 1997
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé
/ Claude Stolze ; sous la direction de Luigi Liquori. Thèse de doctorat : Informatique
: Université Côte d'Azur (ComUE) : 2019
Information trouvée : membre du jury
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