Altadonna, Fabio (2024) Logica di Hoare applicata su un linguaggio procedurale: implementazione Matita. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Capone, Orazio Andrea (2024) Una webapp per dimostrazioni in deduzione natuale per la logica del primo ordine. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Russo, Marco (2024) Il lambda-calcolo con la strategia Call-by-Value. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]