Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Compilatore per linguaggio di programmazione funzionale sperimentale
- 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
Second cycle degree programmes dissertations
- Lapis-rs: a Dedukti type checker based on term graphs
