Chen, Biao (2017) Prolog e Lambda-Prolog: verso l’implementazione di un analizzatore statico di mode. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile