Séminaire de Guy Wallet

Jeudi 13 septembre 2012 à 14h, en salle C21

Guy Wallet (Université de La Rochelle) :
"Essai sur la théorie des types nonstandard de Martin-Löf." 
En savoir plus