Contenu | Navigation | Accès directs | Connexion
Se connecter
Vous êtes ici : Version française > Présentation > Trimestres et mois thématiques
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.