This is the old version of the CRM site. Please use the new site on the page crmdegiorgi.sns.it

Furio Honsell

Università di Udine
Talk: Opening address
Talk: Implementing Cantor’s paradise in constructive type theory
Seminar: Alle radici del pensiero informatico (5 April 2007 )
Talk: Panini and the prehistory of Informatics (8 March 2010 )
Seminar: De viribus quantitatis: le forze del numero (17 May 2012 )