Linear logic, type assignment systems and implicit computational complexity / Erika
de Benedetti, [thèse], 10/02/2015
Information trouvée : Rapporteur et membre de jury de thèse
https://www.unibo.it/sitoweb/ugo.dallago/cv, 2018-10-12
Information trouvée : Professeur d'informatique, Dipartimento di Informatica - Scienza e Ingegneria, Università
di Bologna en 2018 et né le 26 fevrier 1977