Next Wednesday M. Pagano (FaMAF-UNC) will give us an introduction to the theory of types, which is relevant both for Math and Computer Science, foundationally and in applications. Título: Introducción a la Teoría de Tipos Resumen: Desde comienzos de los 1970 Per Martin-Löf propuso…