1 evento found.
Eventos for 3 julio, 2026
Defensa Tesis Doctorado Cristian Sottile
Título: Estrategias de prueba de normalización fuerte en cálculos lambda tipados Director: Dr. Alejandro Díaz-Caro Co-director: Dr. Pablo E. Martínez López Consejero de estudios: Dr. Juan Pablo Galeotti Jurados: - Dra. Mariangiola Dezzani (Università di Torino) - Dr. Giulio Guerrieri (University of Sussex) - Dra. Femke van Raamsdonk (Vrije Universiteit Amsterdam) [...]
