paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 253122414Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Avanzini, Martin (19..-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Date de naissance :    19XX

Source

Martin Avanzini, Ugo Dal Lago. Automating sized-type inference for complexity analysis. Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.1 - 29. (10.1145/3110287). (hal-01639200)

Identifiants externes

Identifiant HAL : mavanzini
Identifiant ORCID : 0000-0002-6445-8833

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 : ...