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 iCal14 h 00 min - 15 h 00 min Catégories Séminaire Logique et Interactions