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