Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Da Matita a Dedukti e ritorno
- Il lambda-calcolo con la strategia Call-by-Value
- Logica di Hoare applicata su un
linguaggio procedurale:
implementazione Matita
- Una webapp per dimostrazioni in deduzione natuale per la logica del
primo ordine
Second cycle degree programmes dissertations
- Lapis-rs: a Dedukti type checker based on term graphs
