Semaine 1 : Recent developments in Type Theory

Du 13 janvier 2014 au 17 janvier 2014

Thèmes abordés : notions de continuation en programmation et leur contrepartie en mathématiques constructives, théorie homotopique des types.