Pascali, Andrea (2020) Implementazione di un Algoritmo su Grafi per la Conversione di λ-Termini. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento full-text non disponibile