Identifiant pérenne de la notice : 081284322
Notice de type
Personne
Programmation fonctionnelle certifiée : l'extraction de programmes dans l'assistant
Coq / Pierre Letouzey, 2004 [ thèse ]
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