LoginTesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2023
|
Su di un livello |
Numero di documenti: 3.
Borghi, Luca (2023) Compilatore per linguaggio di programmazione funzionale sperimentale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Girolimetto, Mattia (2023) Da Matita a Dedukti e ritorno. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Pizzo, Nicolò (2023) Lapis-rs: a Dedukti type checker based on term graphs. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
