Charla: Category theory for computer scientists



Charlista: Nicolas Tabareau (INRIA, Francia)


Fecha: jueves 21 de octubre
Hora:  11:45 - 13:00 hrs.
Lugar: Sala de reuniones 3er piso.




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