Recent talks
Recent talks
Prove. Scuola estiva di logica - Gargnano 2011
Optimality and intrinsic computational complexity.
Introduzione alla Teoria della Calcolabilita'.
A Survey on Interactive Theorem Proving
About the formalization of some results by Chebyshev in number theory.
The intensional content of Rice's theorem.
The optimal reduction of lambda expressions
home
cv
didattica
papers
december 2008