Furio Honsell - Tribute to Ennio De Giorgi - 20 September 2016
Channel: SNS Sciences
Date: 2016-10-20

Honsell, Furio
"Implementing Cantor’s paradise in constructive type theory"