Objet : Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)
Vous avez demandé à vous désabonner de la liste gt.rea-tt.irif.
Pour confirmer cette demande, prière de cliquer sur le bouton ci-dessous :
Objet : Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)
Vous avez demandé à vous désabonner de la liste gt.rea-tt.irif.
Pour confirmer cette demande, prière de cliquer sur le bouton ci-dessous :