Event Details

Título: Categorías cartesianas cerradas
Impartida por: Mario Román
Resumen: Estudiaremos la noción de adjunción y de categoría cartesiana y cómo sirven para establecer la semántica del cálculo lambda simplemente tipado.
Más información aquí.