Séminaire de Fédération : Glynn Winskel
Amphi Descartes, ENS site Descartes, 15 parvis René Descartes, Lyon 15 parvis René Descartes ,LyonPour ce premier séminaire de Fédération, nous accueillons Glynn Winskel (Collegium de Lyon, University of Cambridge). Titre : "The True Concurrency of Herbrand's Theorem" Résumé : The brilliant French mathematician Jacques […]