Identifiant pérenne de la notice : 191295574
Notice de type
Personne
Vérification de typage pour le lambda-Pi-Calcul Modulo / Ronan Saillard ; sous la
direction de Pierre Jouvelot. Thèse de doctorat : Informatique temps réel, robotique
et automatique : Paris, ENMP : 2015
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