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 […]