en Charla

Teoría homotópica de tipos: promesas y perplejidades

 

Ponente: Julio Rubio (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 21 de octubre, 12:00

Se trata de una prueba de tiempo de una charla que impartirá el ponente próximamente en el Seminario de Ciencias de la Computación e Inteligencia Artificial en la Universidad de Sevilla