PAGANO Bruno
Dirección de investigación : Thérèse HARDIN
Des calculs de substitution explicite et de leur application à la compilation des langages fonctionnels
Defensa : 29/01/1998
Fecha de salida : 01/09/1999