Su di un livello |
Alberti, Michele (2011) Risultati di separazione nei calcoli lambda. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.
Solieri, Marco (2011) Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]