Semaine 1 : Recent developments in Type Theory

Du 13 au 17 janvier 2014

Organisateurs : Pierre-Louis Curien (CNRS, Université Paris 7), Hugo Herbelin (INRIA, Université Paris 7)

60 participants

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

Invités et programme