Séminaire L’interprétation calculatoire du forcing en réalisabilité classique: l’exemple des arbres de Herbrand Lionel Rieg ENSIIE, Évry Date(s) : 10/10/2013 iCal14h00 - 15h00 Catégories Séminaire Tags : Logique et Interactions Rencontre inter-laboratoires Evolution à Marseille (RILEM) 20211 juillet 2021Coherent differentiation9 septembre 2021