Estimados estudiantes,
la primera reunión (clase) del curso será el martes 6/8/19 a la hora 17 en el salón 102 - 1ER. PISO - IIE.
Saludos, Carlos
Primera reunión del curso Construcción Formal de Programas en Teoría de Tipos - edición 2019
de Carlos Luna -
Número de respuestas: 0