Subject: Annonce des exposés du groupe de travail Théorie des Types et son Implémentation (IRIF)

You've made a subscription request to gt.tt-impl.irif. To confirm your request, please click the button below: