


Charlista: Nicolas Tabareau (INRIA, Francia)
Fecha: jueves 21 de octubre
Hora: 11:45 - 13:00 hrs.
Lugar: Sala de reuniones 3er piso.
Resumen:
In this quick overview of category theory for computer science, I will introduce the Curry-Howard correspondence between logic and programming languages and sketch its categorical counterpart through the correspondance between the simply typed lambda calculus and cartesian closed category. Along the way, I will introduce as few categorical notions as possible to understand the construction.
--
Comunicaciones DCC
.................................................................................................................................................................................................................................
Avenida Beauchef 851, Tercer Piso, Santiago, Chile / C.P. 837-0456