Caprari, Riccardo (2018) Estrazione di codice da termini della Minimalist Type Theory. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Molinari, Giacomo (2018) Towards an Implementation in Lambda-Prolog of Maietti's two-level minimalist foundation. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

Piemontese, Cristiano (2018) Sviluppo di un interactive theorem prover in ELPI. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Sinagra, Emanuele (2018) Implementazione di un algoritmo lineare per l’α-equivalenza di λ-termini con sharing. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]