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

Vous avez demandé un abonnement à la liste gt.rea-tt.irif Pour confirmer cette demande, prière de cliquer sur le bouton ci-dessous :