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/indexObjet : 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