Identifiant pérenne de la notice : 066940613
Notice de type
Personne
LCNA (CD), 1996-06
Proof, language, and interaction : essays in honour of Robin Milner / ed. by Gordon
Plotkin, Colin Stirling and Mads Tofte, cop. 2000
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