Barbieri, Francesco (2010) Sugli operatori di misura nella computazione quantistica. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Farina, Gian Pietro (2010) Dimostrazione automatica di risultati classici della crittografia computazionale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Foschini, Federico (2010) Programmazione funzionale in spazio logaritmico: funzioni di ordinamento. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]

Lodi, Michael (2010) Programmazione funzionale in spazio logaritmico: una libreria di funzione aritmetiche. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM509]