Toposes as ‘bridges’ for mathematics and artificial intelligence - Prof. Olivia Caramello - Institut des Hautes Études Scientifiques (IHES) Aula DIET09 - Dipartimento DIET, Via Eudossiana 18, 00184, Roma 27 Ottobre 2022 - 13:00