Ponente: César Domínguez (Universidad de La Rioja)
Lugar: Seminario Chicho (Aula 314, Edificio Vives)
Hora: martes 30 de marzo, 12:00
Teoría de tipos
Hay un post etiquetado con Teoría de tipos.
Sitio web del Seminario Mirian Andrés del Departamento de Matemáticas y Computación de la Universidad de La Rioja