Ph.D. theses
- Sara Sadocco: "Algebrization of the power set.
An axiomatic treatment of the existential quantifier" Ph.D. Thesis
(2002), University of Siena, advisor: Giovanni Sambin
- M.E. Maietti: "The type theory of categorical universes"
Ph.D. Thesis (1998), advisor: Giovanni Sambin
- G. Battilotti: "Logica di base attraverso il principio
di riflessione"
Ph.D. Thesis (1997), advisor: Giovanni Sambin.
- S. Negri: "Dalla topologia formale all'analisi"
Ph.D. Thesis (1996), advisor: Giovanni Sambin.
- L. Boldrin: "Logiche per l'integrazione di informazioni
incerte
Ph.D. Thesis (1996), advisor: Silvio Valentini.
- A. Bucalo: "Semantiche per una modalità in logica
lineare"
Ph.D. Thesis (1994), advisor: Giovanni Sambin.