El Glorioso Programa Univalente: Topología, Lógica y Computación para unas nuevas Matemáticas | Ciclo de Charlas
Aula A15 - Facultad de Ciencias Facultad de Ciencias, Avenida de Fuente Nueva s/n, Granada, Granada, EspañaLa segunda charla de nuestro ciclo será impartida por Javier Villar, quien nos presenta su charla El Glorioso Programa Univalente: Topología, Lógica y Computación para unas nuevas Matemáticas como sigue: […]