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   iCal
14 h 00 min - 15 h 00 min

Catégories



Retour en haut