Subject: Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)
You've made a subscription request to gt.rea-tt.irif. To confirm your request, please click the button below:
Subject: Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)
You've made a subscription request to gt.rea-tt.irif. To confirm your request, please click the button below: