Re: [Esug-list] lectures in the temple of the type systems: university of Turino