Charla: Category theory for computer scientists


Compartir

 

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