Laurea theses
- M. Donolato: "Prove costruttive di completezza
per la logica intuizionistica", Tesi di laurea in matematica (2005),
advisor: Giovanni Sambin
- D. Macedonio: "Semantica relazionale per la logica
di base"
Tesi di laurea in matematica (2001), advisor: Giovanni Sambin.
- G. Trentinaglia: "Relazioni di entailment e problemi
di rappresentazione universale"
Tesi di laurea in matematica (2001), advisor: Giovanni Sambin.
- S. De Paoli: "La rinascita della logica in Italia
nella seconda metà del XX secolo"
Tesi di laurea in matematica (2000), advisor: Giovanni Sambin.
- A. Mognon: "Semantiche algebriche per la logica
di base e le sue estensioni"
Tesi di laurea in matematica (2000), advisor: Giovanni Sambin.
- N. Granà: "Ricerche in teoria della computazione
e della dimostrazione per la logica di base"
Tesi di laurea in matematica (1999), advisor: Giovanni Sambin.
- N. Gambino: "Types and Sets: a study on the jump
to full impredicativity" Tesi di laurea in matematica (1999), advisor:
Silvio Valentini.
- B. Solito: "Gli operatori di interno e di chiusura
da un punto di vista costruttivo"
Tesi di laurea in matematica (1998), advisor: Giovanni Sambin.
- F. Guidi: "Il terzo teorema di Gödel-Kreisel nella
teoria dei tipi di Martin-Löf"
Tesi di laurea in matematica (1998), advisor: Giovanni Sambin.
- G. Curi: "Analisi costruttiva nella teoria dei
tipi: topologie formali con diametro e distanza"
Tesi di laurea in matematica (1998), advisor: Giovanni Sambin.
- C. Faggian: "Teorema di eliminazione del taglio
in basic logic e nelle logiche quantistiche"
Tesi di laurea in matematica (1996), advisor: Giovanni Sambin.
- V. Capretta: "Analisi costruttiva della normalizzazione
del System F di Girard"
Tesi di laurea in matematica (1996), advisor: Silvio Valentini.
- S. Sadocco: "Topologie formali sull'insieme delle
formule"
Tesi di laurea in matematica (1996), advisor: Giovanni Sambin.
- D. Soravia: "Numeri reali e analisi costruttiva
nel contesto delle topologie formali"
Tesi di laurea in matematica (1995), advisor: Giovanni Sambin.
- S. Gebellato: "Precoperture, modalità e operatori
di chiusura in un topos"
Tesi di laurea in matematica (1994), advisor: Giovanni Sambin.
- M.E. Maietti: "Semantica categoriale per il lambda-calcolo
polimorfo"
Tesi di laurea in matematica (1992), advisor: Silvio Valentini.
- S. Negri: "Semantica categoriale per la logica
lineare"
Tesi di laurea in matematica (1991), advisor: Giovanni Sambin.
- G. Battilotti: "Rappresentazione delle strutture
algebriche complete corrispondenti alla logica lineare e intuizionista"
Tesi di laurea in matematica (1990), advisor: Giovanni Sambin.