Agenda

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) [...]