Logique et Interactions Lionel Rieg - L'interprétation calculatoire du forcing en réalisabilité classique: l'exemple des arbres de Herbrand - 10/10/2013 - 14h00 - 15h00<< < 9 10 11 12 13 14