Accéder au contenu.
Menu Sympa

gt.rea-tt.irif - Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)

Objet : Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)

Description : Site web du groupe de travail : https://www.irif.fr/seminaires/types/index

Haut de le page