Dans la même rubrique
Accueil :
Lundi 22 novembre 2021
| 14:30 à 17:15 | Colloque | Computability, Algorithms, Types and Proofs |
|---|
Institut de Recherches Philosophiques de Lyon
Aller au contenu Navigation Accès directs Connexion