Subject: 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